Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference66 articles.
1. B. Alarcón, R. Gutiérrez, J. Iborra, S. Lucas, Proving Termination of Context-Sensitive Rewriting with MU-TERM, in: Electronic Notes in Theoretical Computer Science, 2007 (to appear).
2. Improving on-demand strategy annotations;Alpuente,2002
3. M. Alpuente, S. Escobar, S. Lucas, Correct and complete (positive) strategy annotations for OBJ, in: F. Gadducci, U. Montanari (Eds.), Proc. of the 4th International Workshop on Rewriting Logic and its Applications, WRLA’02, Electronic Notes in Theoretical Computer Science, Vol. 71, 2004.
4. Termination of term rewriting using dependency pairs;Arts;Theoretical Computer Science,2000
5. Term Rewriting and All That;Baader,1998
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献