scientific article; zbMATH DE number 3572126

zbMath0367.02005MaRDI QIDQ4143272

J. Richard Buchi

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Enumerative combinatorics (05A99) Structure theory of Boolean algebras (06E05) Set theory (03E99)

Related Items (9)

Progress measures, immediate determinacy, and a subset construction for tree automata ⋮ Alternating automata on infinite trees ⋮ Topological extension of parity automata ⋮ Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra ⋮ Gurevich-Harrington's games defined by finite automata ⋮ Counting branches in trees using games ⋮ Fixpoints, games and the difference hierarchy ⋮ Infinite games on finitely coloured graphs with applications to automata on infinite trees ⋮ The structure of the models of decidable monadic theories of graphs

This page was built for publication: