Author:
Alarcón Beatriz,Gutiérrez Raúl,Lucas Salvador,Navarro-Marset Rafael
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Alarcón, B.: Innermost Termination of Context-Sensitive Rewriting. Master’s thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Valencia, Spain (2008)
2. Alarcón, B., Gutiérrez, R., Iborra, J., Lucas, S.: Proving Termination of Context-Sensitive Rewriting with mu-term. Electronic Notes in Theoretical Computer Science 188, 105–115 (2007)
3. Alarcón, B., Gutiérrez, R., Lucas, S.: Context-Sensitive Dependency Pairs. Information and Computation 208, 922–968 (2010)
4. Lecture Notes in Artificial Intelligence;B. Alarcón,2007
5. Alarcón, B., Lucas, S., Meseguer, J.: A Dependency Pair Framework for A ∨ C-Termination. In: Ölveczky, P. (ed.) WRLA 2010. LNCS, vol. 6381, pp. 35–51. Springer, Heidelberg (2010)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献