IGNACIO
SOLS LUCÍA
Investigador hasta 2019
Universidad de Zaragoza
Zaragoza, EspañaPublicaciones en colaboración con investigadores/as 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)