Hybrid Logics and NP Graph Properties

DOI10.1007/978-3-642-20920-8_15zbMath1326.68141OpenAlexW1561657262MaRDI QIDQ3003354

Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa Martins, Francicleber Martins Ferreira

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_15

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Modal logic (including the logic of norms) (03B45) Structural characterization of families of graphs (05C75) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Combined logics (03B62)

Related Items (1)

Epistemic logics with structured knowledge

This page was built for publication: Hybrid Logics and NP Graph Properties