TU Darmstadt / ULB / TUbiblio

Modularity of termination using dependency pairs

Arts, Thomas ; Giesl, J. (1998)
Modularity of termination using dependency pairs.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Autor(en): Arts, Thomas ; Giesl, J.
Art des Eintrags: Bibliographie
Titel: Modularity of termination using dependency pairs
Sprache: Englisch
Publikationsjahr: 1998
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: RTA'98: International Conference on Rewriting Techniques and Applications <9, 1998, Tsukuba, Japan>: Proceedings. - Berlin (u.a.): Springer, 1998. S. 226-240
Band einer Reihe: 1379
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:23
Letzte Änderung: 05 Mär 2013 08:46
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen