Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems;Interfaces: Explorations in Logic, Language and Computation;2010
2. Increasing interpretations;Annals of Mathematics and Artificial Intelligence;2009-05
3. Matrix Interpretations for Proving Termination of Term Rewriting;Automated Reasoning;2006
4. TPA: Termination Proved Automatically;Lecture Notes in Computer Science;2006
5. Increasing Interpretations;Lecture Notes in Computer Science