Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. J. Avenhaus and J. Denzinger. Distributing equational theorem proving. In Proc. 5th RTA, pages 62–76, Montreal, 1993. LNCS 690.
2. J. Avenhaus, J. Denzinger, and M. Fuchs. DISCOUNT: A System For Distributed Equational Deduction. In Proc. 6th RTA, pages 397–402, Kaiserslautern, 1995. LNCS 914.
3. L. Bachmair, N. Dershowitz, and D.A. Plaisted. Completion without Failure. In Coll. on the Resolution of Equations in Algebraic Structures. Academic Press, Austin, 1989.
4. L. Bachmair and H. Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3):217–247, 1994.
5. J. Denzinger and M. Fuchs. Goal oriented equational theorem proving. In Proc. 18th KI-94, pages 343–354, Saarbrücken, 1994. LNAI 861.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献