Author:
Godoy Guillem,Tiwari Ashish,Verma Rakesh
Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Uniqueness of Normal Forms for Shallow Term Rewrite Systems;ACM Transactions on Computational Logic;2017-06-23
2. Normalization properties for Shallow TRS and Innermost Rewriting;Applicable Algebra in Engineering, Communication and Computing;2009-12-15
3. Undecidable properties of flat term rewrite systems;Applicable Algebra in Engineering, Communication and Computing;2009-04-21
4. The Confluence Problem for Flat TRSs;Artificial Intelligence and Symbolic Computation;2006
5. Generalizing Newman’s Lemma for Left-Linear Rewrite Systems;Lecture Notes in Computer Science;2006