R. Péter

Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60

R. Péter, 1972, Acta Cybern..

Mathematische Fassung der sogenannten "Entscheidungs-Tabellen"

R. Péter, 1973, Acta Cybern..

Die Rekursivität der Programmierungsprache "Lisp 1.5" in Spezialfällen der angeordneten freien holomorphen Mengen

R. Péter, 1975, Acta Cybern..