On the consistency of Koomen's fair abstraction rule:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Baeten, Josephus C. M. (VerfasserIn), Bergstra, Jan A. 1951- (VerfasserIn), Klop, Jan Willem 1945- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam 1985
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 85,11
Schlagwörter:
Umfang:39 S.