Publications en collaboration avec des chercheurs 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