LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
https://hal.inria.fr/inria-00436404
Contributeur : Lutz Straßburger
<>
Soumis le : jeudi 26 novembre 2009 - 16:08:43
Dernière modification le : jeudi 10 mai 2018 - 02:06:48
Kai Brünnler, Lutz Straßburger. Modular Sequent Systems for Modal Logic. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'09, 2009, Oslo, Norway. 2009. 〈inria-00436404〉
