Automata, logics, and infinite games

Name: Automata, logics, and infinite games
Author: Erich Grädel, Wolfgang Thomas

No description available.

Machine theoryMathematicsSymbolic and mathematical LogicComputer scienceGame theoryComputer science, mathematicsLogic, symbolic and mathematical