We improve the complexity of solving parity games (with priorities in
ve...
The Rabin tree theorem yields an algorithm to solve the satisfiability
p...
Decidability of the problems of unboundedness and simultaneous unbounded...
We show a new simple algorithm that solves the model-checking problem fo...
Zielonka's classic recursive algorithm for solving parity games is perha...
We show that in case a pushdown system is bisimulation equivalent to a f...
We prove that the MSO+U logic is compositional in the following sense:
w...
Intersection types have been originally developed as an extension of sim...
We study the model-checking problem for recursion schemes: does the tree...
Several distinct techniques have been proposed to design quasi-polynomia...