Publisher
Oxford University Press (OUP)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Termination of rewrite relations on λ-terms based on Girard's notion of reducibility;Theoretical Computer Science;2016-01
2. Relating Nominal and Higher-Order Rewriting;Mathematical Foundations of Computer Science 2014;2014
3. Strategies in PRholog;Electronic Proceedings in Theoretical Computer Science;2010-01-26
4. A Rule-Based Approach to XML Processing and Web Reasoning;Web Reasoning and Rule Systems;2010