FO model checking on map graphs
From MaRDI portal
Publication:1679973
DOI10.1007/978-3-662-55751-8_17zbMath1495.68132OpenAlexW2747390842MaRDI QIDQ1679973
Ken-ichi Kawarabayashi, Kord Eickmeyer
Publication date: 22 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-662-55751-8_17
Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Graph algorithms (graph-theoretic aspects) (05C85) Graph representations (geometric and intersection representations, etc.) (05C62) Density (toughness, etc.) (05C42) Parameterized complexity, tractability and kernelization (68Q27)
Related Items (4)
Map graphs having witnesses of large girth ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Hardness and structural results for half-squares of restricted tree convex bipartite graphs
This page was built for publication: FO model checking on map graphs
