Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Undecidability: Part 1Introduces undecidability in recursive languages and Turing machines, showing languages without algorithmic recognition.