Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Leo Bachmair. Canonical equational proofs. Birkhäuser, Boston, Mass., 1991.
2. Leo Bachmair and Nachum Dershowitz. Completion for rewriting modulo a congruence. In Pierre Lescanne, editor, Rewriting Techniques and Applications, [2nd International Conference], LNCS 256, pages 192–203, Bordeaux, France, May 25–27, 1987. Springer-Verlag.
3. Leo Bachmair and Harald Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):1–31, 1994.
4. Nachum Dershowitz and Jean-Pierre Jouannaud. Rewrite systems. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 6, pages 244–320. Elsevier Science Publishers B.V., Amsterdam, New York, Oxford, Tokyo, 1990.
5. G. Huet. Confluent reductions: abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797–821, October 1980.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equational theorem proving for clauses over strings;Mathematical Structures in Computer Science;2024-04-18
2. Equational Theorem Proving for Clauses over Strings;Electronic Proceedings in Theoretical Computer Science;2023-03-23
3. Equational Theorem Proving Modulo;Automated Deduction – CADE 28;2021