Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes

DOI10.1109/LICS.2013.19zbMath1366.68168WikidataQ130870015 ScholiaQ130870015MaRDI QIDQ5271050

Ken-ichi Kawarabayashi, Stephan Kreutzer, Kord Eickmeyer

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Structural characterization of families of graphs (05C75) Graph minors (05C83)

This page was built for publication: Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes