Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking

From MaRDI portal
Publication:395003

DOI10.1016/j.jcss.2013.07.005zbMath1311.68087arXiv1109.5804OpenAlexW1542572884MaRDI QIDQ395003

Peter Rossmanith, Alexander Langer, Jan Obdržálek, Somnath Sikdar, Robert Ganian, Petr Hliněný

Publication date: 28 January 2014

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

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



Related Items



Cites Work