H'el`ene Kirchner. Some extensions of rewriting. In H. Comon and J.-P. Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeaux, France, May 17--21,

 Home/Search   Document Details and Download   Summary   Related Articles  

This paper is cited in the following contexts:
Rewriting Logic: Roadmap and Bibliography - Martí-Oliet, Meseguer (2001)   (2 citations)  (Correct)

No context found.

H'el`ene Kirchner. Some extensions of rewriting. In H. Comon and J.-P. Jouannaud, editors, Term Rewriting, French Spring School of Theoretical Computer Science, Font Romeaux, France, May 17--21,

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