Publications

A Tableau System for Quasi-Hybrid Logic

AuthID
P-00K-M0F

Author(s)

Costa, D

Martins, MA

Editor(s)

Nicola Olivetti; Ashish Tiwari

Document Type

Proceedings Paper

Year published

2016

Published

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, Pages: 435-451

Conference

8Th International Joint Conference on Automated Reasoning, Ijcar 2016, Date: 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

Indexing