Permutation Games for the Weakly Aconjunctive \mu μ -Calculus.

Daniel Hausmann, Lutz Schrder, Hans-Peter Deifel

Browse the full TACAS paper archive.