Author:
Bronsard Francois,Reddy Uday S.,Hasker Robert W.
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. L. Bachmair. Proof by consistency in equational theories. In Proc. 3rd LICS Symp., Edinburgh (UK), pages 228–233, 1988.
2. E. Bevers and J. Lewi. Proof by consistency in conditional equational theories. In S. Kaplan and M. Okada, editors, 2nd CTRS Workshop, LNCS, vol. 516, pages 195–205. Springer-Verlag, 1991.
3. S. Biundo, B. Hummel, D. Hutter, and C. Walther. The Karlsruhe induction theorem proving system. In 8th CADE Conf., LNCS, vol. 230. Springer-Verlag, 1986.
4. Adel Bouhoula and MichaËl Rusinowitch. Automatic case analysis in proof by induction. In Ruzena Bajcsy, editor, Proc. 13th IJCAI Conf., Chambéry (France), volume 1, pages 88–94. Morgan Kaufmann, August 1993
5. R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, New York, 1979.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献