Parity Games and Automata for Game Logic.

Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema

Browse the full TABLEAUX paper archive.