Buchberger's algorithm: A constraint-based completion procedure-Reference-Cited by-同舟云学术

Buchberger's algorithm: A constraint-based completion procedure

Published: Issue: Volume: Page:285-301
ISSN:
Container-title:Constraints in Computational Logics
language:
Short-container-title:

Author:

Bachmair Leo,Ganzinger Harald

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0016860.pdf

Reference25 articles.

1. Leo Bachmair, 1991. Canonical equational proofs. Birkhäuser, Boston.

2. Leo Bachmair and Nachum Dershowitz, 1986. Commutation, transformation, and termination. In Proc. 8th Conf. on Automated Deduction, Oxford, LNCS 230, pp. 5–20. Springer-Verlag, Berlin.

3. Leo Bachmair and Nachum Dershowitz, 1987. Inference rules for rewrite-based first-order theorem proving. In Proc. Second IEEE Symp. Logic in Computer Science (Ithaca, New York), pp. 331–337. IEEE Comp. Soc. Press.

4. Leo Bachmair and Nachum Dershowitz, 1994. Equational inference, canonical proofs, and proof orderings. Journal of the ACM, Vol. 41, pp. 236–276.

5. Leo Bachmair and Harald Ganzinger, 1993. Ordered chaining for total orderings. Technical Report MPI-I-93-250, Max-Planck-Institut für Informatik, Saarbrücken. To appear in Proc. CADE'94.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluation of memristor behaviour with global logic gates;2ND INTERNATIONAL CONFERENCE OF MATHEMATICS, APPLIED SCIENCES, INFORMATION AND COMMUNICATION TECHNOLOGY;2023

2. A search-based procedure for nonlinear real arithmetic;Formal Methods in System Design;2016-04-20

3. Resistive Threshold Logic;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2014-01

4. Formal Algorithmic Elimination for PDEs;Lecture Notes in Mathematics;2014

5. Harald Ganzinger’s Legacy: Contributions to Logics and Programming;Programming Logics;2013