Publicaciones en colaboración con investigadores/as de Technical University of Berlin (2)

1982

  1. Algebras With Actions and Automata

    International Journal of Mathematics and Mathematical Sciences, Vol. 5, Núm. 1, pp. 61-85

1977

  1. Primitive recursive algebraic theories and program schemes

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