The following pages link to (Q3995303):
Displayed 7 items.
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Infinite games played on finite graphs (Q1314640) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- McNaughton games and extracting strategies for concurrent programs (Q1919769) (← links)
- An extension of Büchi’s problem for polynomial rings in zero characteristic (Q3558983) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)