Author:
Caferra Ricardo,Demri Stéphane
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. A. Avron. Simple Consequence Relations. Information and Computation, 92:105–139, 1991.
2. T. Boy de la Tour, R. Caferra, and G. Chaminade. Some tools for an Inference Laboratory (ATINF). In CADE-9, pages 744–745. Springer-Verlag, LNCS 310, 1988.
3. R. Caferra and S. Demri. Semantic entailment in non classical logics based on proofs found in classical logic, 1992. Extended version to appear.
4. R. Caferra, S. Demri, and M. Herment. Logic morphisms as a framework for the backward transfer of lemmas and strategies in some modal and epistemic logics. In AAAI-9, pages 421–426. AAAI, MIT Press, July 1991.
5. R. Caferra, M. Herment, and N. Zabel. User-oriented theorem proving with the ATINF graphic proof editor. In FAIR' 91, pages 2–10. Springer-Verlag, LNAI 535, 1991.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献