Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations.

Erich Grdel

Browse the full STACS paper archive.