Author:
Ferreira M. C. F.,Zantema H.
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elimination Transformations for Associative–Commutative Rewriting Systems;Journal of Automated Reasoning;2006-12-02
2. TPA: Termination Proved Automatically;Lecture Notes in Computer Science;2006
3. Reducing Right-Hand Sides for Termination;Processes, Terms and Cycles: Steps on the Road to Infinity;2005
4. Match-Bounded String Rewriting Systems;Mathematical Foundations of Computer Science 2003;2003
5. Termination of term rewriting using dependency pairs;Theoretical Computer Science;2000-04