H. Zantema. Termination of term rewriting. In M.A. Bezem, J.W. Klop, and R.C. de Vrijer, editors, Term Rewriting Systems, chapter 6. Cambridge University Press, 2003 (to appear). Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Two Solutions to Incorporate Zero, Successor and Equality in.. - Badban, Pol (Correct)
Two Solutions to Incorporate Zero, Successor and Equality in.. - Badban, Pol (2002) (Correct)
Recursively Defined (Quasi) Orders on Terms - Ferreira (1997) (Correct)
Recursively Defined (Quasi) Orders on Terms - Ferreira (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC