Paul-Andr'e Melli`es. Axiomatic rewriting theory IV: A stability theorem in rewriting theory. In Proceedings of the 14th Annual Symposium on Logic in Computer Science, LICS'98, pages 287--298, Indianapolis, 1998. IEEE Computer Society Press. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
No context found.
Paul-Andr'e Melli`es. Axiomatic rewriting theory IV: A stability theorem in rewriting theory. In Proceedings of the 14th Annual Symposium on Logic in Computer Science, LICS'98, pages 287--298, Indianapolis, 1998. IEEE Computer Society Press.
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