Lower Bounds on the Complexity of MSO_1 Model-Checking.

Robert Ganian, Petr Hlinen, Alexander Langer, Jan Obdrzlek, Peter Rossmanith, Somnath Sikdar

Browse the full STACS paper archive.