Publikationen in Zusammenarbeit mit Forschern von 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