KBlab: An equational theorem prover for the Macintosh-Reference-Cited by-同舟云学术

KBlab: An equational theorem prover for the Macintosh

Published:1989 Issue: Volume: Page:548-550
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Bonacina Maria Paola,Sanna Giancarlo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51081-8_135.pdf

Reference12 articles.

1. L.Bachmair, N.Dershowitz, J.Hsiang — Orderings for Equational Proofs In Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, 346–357, Cambridge, MA, June 1986

2. L. Fribourg — A superposition oriented theorem prover J. of Theoretical Computer Science, Vol. 35, 129–164, 1985

3. L.Fribourg — A Strong Restriction to The Inductive Completion Procedure In Proceedings 13th Int. Conf. on Automata, Languages and Programming, Rennes, France, July 1986, Lecture Notes in Computer Science 226, 1986

4. Glickfield, R.Overbeek — A Foray Into Combinatory Logic J. of Automated Reasoning, Vol. 2, No. 4, Dec. 1986

5. J.Hsiang, M.Rusinowitch — On Word Problems in Equational Theories In Th.Ottman ed., Proceedings 14th Int. Conf. on Automata, Languages and Programming, Karlsrhue, W.Germany, July 1987, Lecture Notes in Computer Science 267, 1987

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

1. Completion procedures as semidecision procedures;Conditional and Typed Rewriting Systems;1991

2. Design and development of ENprover, an automated theorem proving system based on EN-strategy;Design and Implementation of Symbolic Computation Systems;1990