TU Darmstadt / ULB / TUbiblio

Automated termination proofs with measure functions

Giesl, Jürgen :
Automated termination proofs with measure functions.
In: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 149-160 , 981 . Springer , Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Giesl, Jürgen
Titel: Automated termination proofs with measure functions
Sprache: Deutsch
Reihe: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 149-160
Band: 981
Ort: 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