Modular Sequent Systems for Modal Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009
Fichier non déposé

Dates et versions

inria-00436404 , version 1 (26-11-2009)

Identifiants

  • HAL Id : inria-00436404 , version 1

Citer

Kai Brünnler, Lutz Strassburger. Modular Sequent Systems for Modal Logic. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX'09, 2009, Oslo, Norway. ⟨inria-00436404⟩
379 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More