P.-A. Melli`es, "Axiomatic Rewriting Theory III: A factorisation theorem in Rewriting Theory", Symposium on Category Theory and Computer Science, September 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Mellies (1998) (1 citation) (Correct)
No context found.
P.-A. Melli`es, "Axiomatic Rewriting Theory III: A factorisation theorem in Rewriting Theory", Symposium on Category Theory and Computer Science, September 1997.
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
No context found.
Paul-Andr'e Melli`es. Axiomatic rewriting theory III: A factorisation theorem in rewriting theory. In Proceedings of the 7th Conference on Category Theory and Computer Science, CTCS'97, volume 1290 of Lecture Notes in Computer Science, pages 46--68, Santa Margherita Ligure, 1997. Springer Verlag.
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