Author:
Bachmair Leo,Dershowitz Nachum
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Proof methods for equational theories;Bachmair,1987
2. Critical pair criteria for completion;Bachmair;J. Symbolic Comput.,1988
3. Orderings for equational proofs;Bachmair;Proc. Symp. Logic in Computer Science,1986
4. Termination orderings for associative-commutative rewriting systems;Bachmair;J. Symbolic Comput.,1985
5. Termination of rewriting systems by polynomial interpretations and its implementation;Ben Cherifa;Sci. Comput. Program.,1987
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献