Publicaciones en colaboración con investigadores/as de Universidad de Zaragoza (2)

1977

  1. Primitive recursive algebraic theories and program schemes

    Bulletin of the Australian Mathematical Society, Vol. 17, Núm. 2, pp. 207-233

1975

  1. Automata in semimodule categories

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)