IGNACIO
SOLS LUCÍA
Chercheur jusqu' 2019
Universidad de Zaragoza
Zaragoza, EspañaPublications en collaboration avec des chercheurs de Universidad de Zaragoza (2)
1977
-
Primitive recursive algebraic theories and program schemes
Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233
1975
-
Automata in semimodule categories
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)