Termination of Integer Term Rewriting

Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke 0001. Termination of Integer Term Rewriting. In Thomas Ball, Jürgen Giesl, Reiner Hähnle, Tobias Nipkow, editors, Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. Volume 09411 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009. [doi]

Abstract

Abstract is missing.