Incremental termination proofs and the lenght of derivations
Bremen: Fachbereich Mathematik und Informatik, Univ. 1990 32 S. (Informatik ; 7/90)
Erscheinungsjahr: 1990
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |
Bremen: Fachbereich Mathematik und Informatik, Univ. 1990 32 S. (Informatik ; 7/90)
Erscheinungsjahr: 1990
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |