TU Darmstadt / ULB / TUbiblio

Generating polynomial orderings for termination proofs

Giesl, Jürgen :
Generating polynomial orderings for termination proofs.
In: International Conference on Rewriting Techniques and Applications <6, 1995, Kaiserlautern>: Proceedings. - Berlin, Heidelberg (u.a.): Springer, 1995. S. 426-431 , 914 . 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: Generating polynomial orderings for termination proofs
Sprache: Englisch
Reihe: International Conference on Rewriting Techniques and Applications <6, 1995, Kaiserlautern>: Proceedings. - Berlin, Heidelberg (u.a.): Springer, 1995. S. 426-431
Band: 914
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