TU Darmstadt / ULB / TUbiblio

Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen

Giesl, Jürgen :
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
Infix , St. Augustin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1995
Autor(en): Giesl, Jürgen
Titel: Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
Sprache: Deutsch
Band: 96
Ort: St. Augustin
Verlag: Infix
Edition: St. Augustin: Infix, 1995. 306 S.
Kollation: 306 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:56
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen