Author:
Caferra Ricardo,Zabel Nicolas
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. W. Ackermann. Solvable cases for the decision problem. North-Holland, 1954.
2. W. W. Bledsoe and D. W. Loveland, editors. Automated theorem proving after 25 years, volume 29. Contemporary Mathematics, 1984.
3. T. Boy de la Tour, R. Caferra, and G. Chaminade. Some tools for an inference laboratory (atinf). In Proc. of CADE 9, pages 744–745. Springer-Verlag LNCS 310, 1988.
4. H. Bürckert. Solving disequations in equational theories. In Proc. of CADE 9, pages 517–526. Springer-Verlag LNCS 310, 1988.
5. R. Caferra and N. Zabel. Une extension des tableaux sémantiques utilisant les problèmes équationnels pour guider la recherche de modèles et de réfutations. In Actes 3ème Journées Nationales PRC-GRD Intelligence Artificielle, pages 213–222. Éd. Hèrmes, 1990.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献