Model-Checking on Ordered Structures

DOI10.1145/3360011zbMath1446.68092arXiv1812.08003OpenAlexW3009631975MaRDI QIDQ5121264

Michał Pilipczuk, Stephan Kreutzer, Roman Rabinovich, Sebastian Siebertz, Ken-ichi Kawarabayashi, Patrice Ossona de Mendez, Jan van den Heuvel, Kord Eickmeyer, Daniel A. Quiroz

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.08003

zbMATH Keywords

model checkingalgorithmic meta-theoremsorder-invariancesuccessor-invariance

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 on Ordered Structures