Automata Logics, and Infinite Games

By E. Grädel, Wolfgang Thomas, T. Wilke. Lecture Notes in Computer Science, 2002

324 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/89ba50418d885a41715f112708ab34bf49231077