TU Darmstadt / ULB / TUbiblio

Automatically proving termination where simplification orderings fail

Arts, Thomas ; Giesl, J. :
Automatically proving termination where simplification orderings fail.
In: International Joint Conference on Theory and Practice of Software Development <7, 1997, Lille, France>: Proceedings. - Berlin (u.a.): Springer, 1997. S. 261-272 , 1214 . Springer , Berlin, Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1997)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1997
Autor(en): Arts, Thomas ; Giesl, J.
Titel: Automatically proving termination where simplification orderings fail
Sprache: Deutsch
Reihe: International Joint Conference on Theory and Practice of Software Development <7, 1997, Lille, France>: Proceedings. - Berlin (u.a.): Springer, 1997. S. 261-272
Band: 1214
Ort: Berlin, Heidelberg (u.a.)
Verlag: Springer
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:23
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen