The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Herment: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:421-426 [Conf]
  2. Ricardo Caferra, Michel Herment
    GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:229-240 [Conf]
  3. Ricardo Caferra, Michel Herment, Nicolas Zabel
    User-oriented theorem proving with the ATINF graphic proof editor. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:2-10 [Conf]
  4. Michel Herment, Ewa Orlowska
    Handling Information Logics in a Graphical Proof Editor. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:297-322 [Journal]
  5. Ricardo Caferra, Michel Herment
    A Generic Graphic Framework for Combining Inference Tools and Editing Proofs and Formulae. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:19, n:1-3, pp:217-243 [Journal]
  6. Ricardo Caferra, Stéphane Demri, Michel Herment
    A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1993, v:52, n:2, pp:197-232 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002