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

AuthID
P-003-P7F
2
Author(s)
2
Editor(s)
Giese, M; Waaler, A
Document Type
Proceedings Paper
Year published
2009
Published
in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 5607, Pages: 295-309 (15)
Conference
18Th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Date: JUL 06-10, 2009, Location: Oslo, NORWAY, Sponsors: Norwegian Res Council, Norwegian Oil Ind Assoc, Gaz France SUEZ, DNV, Computas AS, Univ Oslo, Dept Informat, City Oslo
Indexing
Publication Identifiers
Scopus: 2-s2.0-77956300109
Wos: WOS:000271335100021
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.