IGNACIO
SOLS LUCÍA
Forscher bis um 2019
José
Merseguer
Publikationen, an denen er mitarbeitet José Merseguer (3)
1982
-
Algebras With Actions and Automata
International Journal of Mathematics and Mathematical Sciences, Vol. 5, Núm. 1, pp. 61-85
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)