Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated termination proofs for haskell by term rewriting;ACM Transactions on Programming Languages and Systems;2011-01
2. Transforming Outermost into Context-Sensitive Rewriting;Logical Methods in Computer Science;2010-06-29
3. Stream Productivity by Outermost Termination;Electronic Proceedings in Theoretical Computer Science;2010-01-26
4. From Outermost to Context-Sensitive Rewriting;Rewriting Techniques and Applications;2009
5. Loops under Strategies;Rewriting Techniques and Applications;2009