Pages that link to "Item:Q607442"
From MaRDI portal
The following pages link to Choice functions and well-orderings over the infinite binary tree (Q607442):
Displaying 12 items.
- On degrees of ambiguity for Büchi tree automata (Q2051784) (← links)
- Automata on infinite trees (Q2074210) (← links)
- Unambiguous Büchi Is Weak (Q2817398) (← links)
- On Monadic Theories of Monadic Predicates (Q3586024) (← links)
- On the Strength of Unambiguous Tree Automata (Q4683238) (← links)
- (Q5002827) (← links)
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words (Q5025066) (← links)
- Solving Infinite Games in the Baire Space (Q5038566) (← links)
- (Q5089255) (← links)
- (Q5155680) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- Unambiguity in Automata Theory (Q5500675) (← links)