Lower bounds on the complexity of MSO1 model-checking

Abstract

Full Citation:

Robert Ganian, Petr Hlinený, Alexander Langer, Jan Obdrzálek, 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.

Robert Ganian

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