Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem.

Martin Lck, Arne Meier, Irina Schindler

Browse the full LATA paper archive.