Concepedia

Note on winning positions on pushdown games with ω-regular conditions

Olivier Serre

Information Processing Letters · 2003 · 40 citations · 8 references

DOIFull text

Open access

Concepts

References

8

Alternation

Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer · Journal of the ACM · 1981 · 1.2K citations · Full text

, , +17

Tree automata, mu-calculus and determinacy

E. Allen Emerson, Charanjit S. Jutla · 2002 · 742 citations

, , +16

Infinite games on finitely coloured graphs with applications to automata on infinite trees

Wiesław Zielonka · Theoretical Computer Science · 1998 · 486 citations

, , +12

The theory of ends, pushdown automata, and second-order logic

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1985 · 317 citations

, , +9

Infinite games played on finite graphs

Robert McNaughton · Annals of Pure and Applied Logic · 1993 · 287 citations

, , +11