M. Bezem. Mathematical background. In M. Bezem, J. Klop, and R. de Vrijer, editors, Term Rewriting Systems, pages 790--825. Cambridge University Press, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
M. Bezem. Mathematical background. In M. Bezem, J. Klop, and R. de Vrijer, editors, Term Rewriting Systems, pages 790--825. Cambridge University Press, 2003.
Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
No context found.
M. Bezem. Mathematical background. In M. Bezem, J. Klop, and R. de Vrijer, editors, Term Rewriting Systems, pages 790--825. Cambridge University Press, 2003.
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