Distributing equational theorem proving-Reference-Cited by-同舟云学术

Distributing equational theorem proving

Published:1993 Issue: Volume: Page:62-76
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Avenhaus J.,Denzinger J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56868-9_6.pdf

Reference16 articles.

1. Avenhaus, J., Denzinger, J.: Distributing equational theorem proving, to appear as SEKI-Report, Universität Kaiserslautern, 1993.

2. Avenhaus, J., Madlener, K.: Term Rewriting and Equational Reasoning, in R.B. Banerji (ed): Formal Techniques in Artificial Intelligence, Elsevier, 1990, pp. 1–43.

3. Antoniou, G., Ohlbach, H.J.: Terminator, Proc. 8th IJCAI, Karlsruhe, 1983.

4. Bachmair, L., Dershowitz, N., Hsiang, J.: Orderings for equational proofs, Proc. Symposium on Logic in Computer Science, 1986, pp. 346–357.

5. Bachmair, L., Dershowitz, N., Plaisted, D.A.: Completion without Failure, Coll. on the Resolution of Equations in Algebraic Structures, Austin (1987), Academic Press, 1989.

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

1. Parallel Theorem Proving;Handbook of Parallel Constraint Reasoning;2018

2. Parallel Term Rewriting with Paredux;Applied Logic Series;1998

3. Coupling saturation-based provers by exchanging positive/negative information;Rewriting Techniques and Applications;1998

4. Parallel Completion Techniques;Symbolic Rewriting Techniques;1998

5. On gaining efficiency in completion-based theorem proving;Rewriting Techniques and Applications;1996