Publication:5144662

zbMath1460.68066arXiv1701.08516MaRDI QIDQ5144662

Michał Pilipczuk, Stephan Kreutzer, Jan van den Heuvel, Roman Rabinovich, Sebastian Siebertz, Daniel A. Quiroz

Publication date: 19 January 2021

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

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B10: Classical first-order logic

03C13: Model theory of finite structures

68Q27: Parameterized complexity, tractability and kernelization