A Tableau System for Quasi-Hybrid Logic

AuthID
P-00K-M0F
2
Author(s)
Costa, D
·
2
Editor(es)
Nicola Olivetti; Ashish Tiwari
Tipo de Documento
Proceedings Paper
Year published
2016
Publicado
in Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 9706, Páginas: 435-451
Conference
8Th International Joint Conference on Automated Reasoning, Ijcar 2016, Date: 27 June 2016 through 2 July 2016, Patrocinadores: 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
Indexing
Publication Identifiers
DBLP: conf/cade/CostaM16
SCOPUS: 2-s2.0-84976611389
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.