Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. J. Avenhaus, J. Denzinger, and M. Fuchs. Discount : a system for distributed equational deduction. In J. Hsiang, editor, Proceedings of the 6th International Conference on Rewriting Techniques and Applications, volume 914 of LNCS, pages 397–402. Springer-Verlag, 1995.
2. On using ground joinable equations in equational theorem proving;Avenhaus;Journal of Symbolic Computation,2003
3. J. Avenhaus, and B. Löchner. CCE: Testing ground joinability. In Proceedings of the 1st International Joint Conference on Automated Reasoning, volume 2083 of LNAI, pages 658–662. Springer-Verlag, 2001.
4. Canonical Equational Proofs;Bachmair,1991
5. Completion without failure;Bachmair,1989
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献