Author:
Bachmair Leo,Plaisted David A.
Subject
Computational Mathematics,Algebra and Number Theory
Reference33 articles.
1. A note on simplification orderings;Dershowitz;Inf. Proc. Lett.,1979
2. Orderings for term-rewriting systems;Dershowitz;Theor. Comp. Sci.,1982
3. Termination;N.;Proc. First Int. Conf. on Rewriting Techniques and Applications,1985
4. Computing with rewrite systems;Dershowitz;Inf. Control,1985
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Forward analysis for WSTS, part I: completions;Mathematical Structures in Computer Science;2020-08
2. Fracpairs and fractions over a reduced commutative ring;Indagationes Mathematicae;2016-06
3. AC-KBO revisited;Theory and Practice of Logic Programming;2015-06-08
4. Order-sorted equality enrichments modulo axioms;Science of Computer Programming;2015-03
5. Overlapping and Order-Independent Patterns;Programming Languages and Systems;2014