Publicações

Proof Search and Counter-Model Construction for Bi-Intuitionistic Propositional Logic with Labelled Sequents

AuthID
P-003-P7F

Author(s)

Pinto, L

Uustalu, T

Editor(es)

Giese, M; Waaler, A

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 5607, Páginas: 295-309 (15)

Conference

18Th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Date: JUL 06-10, 2009, Location: Oslo, NORWAY, Patrocinadores: Norwegian Res Council, Norwegian Oil Ind Assoc, Gaz France SUEZ, DNV, Computas AS, Univ Oslo, Dept Informat, City Oslo

Indexing