A Tableau System for Quasi-Hybrid Logic

AuthID
P-00K-M0F
2
Author(s)
Costa, D
·
2
Editor(s)
Nicola Olivetti; Ashish Tiwari
Document Type
Proceedings Paper
Year published
2016
Published in
8Th International Joint Conference on Automated Reasoning, Ijcar 2016 in: Automated Reasoning - 8Th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, 27 June 2016 through 2 July 2016, Sponsors CISUC, Centre for Informatics and Systems of the University of Coimbra;CMUC, Centre for Mathematics, University of Coimbra;CMUP, Centre for Mathematics, University of Porto;et al;FCT, Portuguese Foundation for Science and Technology;University of Coimbra
Volume 9706, Pages 435-451
Book Series: Lecture Notes in Computer Science  
Indexing
Publication Identifiers
Dblp: conf/cade/CostaM16
Scopus: 2-s2.0-84976611389
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.