Author:
Bonacina Maria Paola,Hsiang Jieh
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference54 articles.
1. Anantharaman, S. and Hsiang, J.: Automated proofs of the Moufang identities in alternative rings,Journal of Automated Reasoning 6 (1990), 76?109.
2. Anantharaman, S. and Andrianarivelo, N.: Heuristical criteria in refutational theorem proving, in A. Miola (ed.),Proceedings of the Symposium on the Design and Implementation of Systems for Symbolic Computation, Capri, Italy, 1990, Springer-Verlag, Lecture Notes in Computer Science 429, 1990, pp. 184?193.
3. Astrachan, O. L. and Loveland, D. W.: METEORs: High performance theorem provers using model elimination, in R. S. Boyer (ed.),Automated Reasoning: Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991.
4. Avenhaus, J. and Denzinger, J.: Distributing equational theorem proving, in C. Kirchner (ed.),Proc. 5th Conf. on Rewriting Techniques and Applications, Montreal, Canada, 1993, Springer-Verlag, Lecture Notes in Computer Science 690, 1993, pp. 62?76.
5. Bachmair, L., Dershowitz, N. and Hsiang, J.: Orderings for equational proofs, inProc. 1st Annual IEEE Symp. on Logic in Computer Science, Cambridge, Massachussets, 1986, pp. 346?357.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献