IGNACIO
SOLS LUCÍA
Forscher bis um 2019
Universidad de Zaragoza
Zaragoza, EspañaPublikationen in Zusammenarbeit mit Forschern von 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)