Accéder directement au contenu

Andreas Herzig

2
Documents

Publications

"jeromemengin"

Uniform interpolation by resolution in modal logic

Andreas Herzig , Jérôme Mengin
11th European Conference on Logics in Artificial Intelligence (JELIA 2008), Sep 2008, Dresden, Germany. pp.219--231, ⟨10.1007/978-3-540-87803-2_19⟩
Communication dans un congrès hal-03526738v1

Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Luis Fariñas del Cerro , Andreas Herzig , Jérôme Mengin
Fariñas del Cerro, Luis; Herzig, Andrea; Mengin, Jérôme. Springer-Verlag, 7519, 2012, Lecture Notes in Computer Science book series, 978-3-642-33352-1
Ouvrages hal-03464945v1