Format:
198 S.
ISBN:
90-6196-456-3
Series Statement:
Centrum voor Wiskunde en Informatica 〈Amsterdam〉: CWI Tract 112
Note:
Zugl.: Amsterdam, Univ., Diss., 1991
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Schleifentest
;
Hochschulschrift
Bookmarklink