TU Darmstadt / ULB / TUbiblio

Termination of nested and mutually recursive algorithms

Giesl, Jürgen (1997)
Termination of nested and mutually recursive algorithms.
In: Journal of automated reasoning. 19 (1997), S. 1-29
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 1997
Autor(en): Giesl, Jürgen
Art des Eintrags: Bibliographie
Titel: Termination of nested and mutually recursive algorithms
Sprache: Englisch
Publikationsjahr: 1997
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of automated reasoning. 19 (1997), S. 1-29
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:04
Letzte Änderung: 20 Feb 2020 13:30
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen