Lower bounds on the complexity of MSO1 model-checking

Robert Ganian, Petr Hlinen{\'{y}}, Alexander Langer, Jan Obdrz{\'{a}}lek, Peter Rossmanith, Somnath Sikdar
January 2014
bib

Abstract

Full Citation:

Robert Ganian, Petr Hlinen'y, Alexander Langer, Jan Obdrz'alek, Peter Rossmanith, Somnath Sikdar. Lower bounds on the complexity of MSO1 model-checking. J. Comput. Syst. Sci., volume 80, number 1, pages 180-194, 2014.

Type
Journal Article
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.