ML Anthology

Herment, Michel

1 publications

AAAI 1991 Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics Ricardo Caferra, Stéphane Demri, Michel Herment