TU Darmstadt / ULB / TUbiblio

Termination of term rewriting using dependency pairs

Arts, Thomas ; Giesl, J. :
Termination of term rewriting using dependency pairs.
In: Theoretical computer science, 236 pp. 133-178.
[Artikel], (2000)

Typ des Eintrags: Artikel
Erschienen: 2000
Autor(en): Arts, Thomas ; Giesl, J.
Titel: Termination of term rewriting using dependency pairs
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Theoretical computer science
Band: 236
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen