IGNACIO
SOLS LUCÍA
Researcher to 2019
José
Merseguer
Publications by the researcher in collaboration with 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)