The following pages link to (Q5723183):
Displayed 17 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Learning regular omega languages (Q329611) (← links)
- On the classification of recursive languages (Q598240) (← links)
- Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632) (← links)
- Finite-state \(\omega\)-languages (Q794443) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- Expressibility in a restricted second-order arithmetic (Q1258737) (← links)
- Inferring regular languages and \(\omega\)-languages (Q1648037) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Shift-invariant topologies for the Cantor space \(X^{\omega}\) (Q2357113) (← links)
- Subword Metrics for Infinite Words (Q2947418) (← links)
- A geometrical view of the determinization and minimization of finite-state automata (Q3210193) (← links)
- (Q4580330) (← links)
- (Q5111272) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey (Q5452198) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)