Recursion and parameter mechanisms: an axiomatic approach
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Roever, Willem-Paul de 1943- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam 1974
Ausgabe:Prepubl.
Schriftenreihe:Mathematisch Centrum <Amsterdam> / Afdeling Informatica: IW 20
Umfang:32 S.