The following pages link to (Q4074888):
Displayed 32 items.
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Characterization of \(\omega\)-regular languages by first-order formulas (Q800737) (← links)
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- A classification of \(\omega\)-regular languages (Q1058863) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Complementing deterministic Büchi automata in polynomial time (Q1116702) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- On branching and looping. I (Q1134530) (← links)
- \(\omega\)-languages accepted by finite automata whose structures are cascade products o resets (Q1183179) (← links)
- Finite automata on directed graphs (Q1191024) (← links)
- The Borel hierarchy is infinite in the class of regular sets of trees (Q1210306) (← links)
- Theories of automata on \(\omega\)-tapes: a simplified approach (Q1211504) (← links)
- Mit regulären Grundbegriffen definierbare Prädikate (Q1219876) (← links)
- Finite-memory automata (Q1341718) (← links)
- Chain automata (Q1351952) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- Finite automata on timed \(\omega\)-trees (Q1395427) (← links)
- Weak Muller acceptance conditions for tree automata (Q1770388) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Decidability and undecidability of theories with a predicate for the primes (Q3138021) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Rabin's uniformization problem (Q3322069) (← links)
- The monadic second-order logic of graphs, II: Infinite graphs of bounded width (Q3470112) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Facets of Synthesis: Revisiting Church’s Problem (Q3617717) (← links)
- Synthesis from Component Libraries (Q3617743) (← links)
- Monadic second order definable relations on the binary tree (Q3764124) (← links)
- On frontiers of regular trees (Q3780462) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey (Q5452198) (← links)
- Church’s Problem and a Tour through Automata Theory (Q5452202) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)