Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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üftBibliothek

Autoren


Drewes, Frank (Autor)

Verbundene Forschungsprojekte


Verknüpfte Personen