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)
Lautemann, Clemens (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Clemens Lautemann

Beteiligte Einrichtungen

Logo Johannes Gutenberg-Universität Mainz