dblp.uni-trier.dewww.uni-trier.de

Michel Herment Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
6 Michel Herment, Ewa Orlowska: Handling Information Logics in a Graphical Proof Editor. Computational Intelligence 11: 297-322 (1995)
5 Ricardo Caferra, Michel Herment: A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. J. Symb. Comput. 19(1-3): 217-243 (1995)
1993
4EERicardo Caferra, Michel Herment: GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. DISCO 1993: 229-240
3 Ricardo Caferra, Stéphane Demri, Michel Herment: A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. Studia Logica 52(2): 197-232 (1993)
1991
2 Ricardo Caferra, Stéphane Demri, Michel Herment: Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics. AAAI 1991: 421-426
1 Ricardo Caferra, Michel Herment, Nicolas Zabel: User-oriented theorem proving with the ATINF graphic proof editor. FAIR 1991: 2-10

Coauthor Index

1Ricardo Caferra [1] [2] [3] [4] [5]
2Stéphane Demri [2] [3]
3Ewa Orlowska [6]
4Nicolas Zabel [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)