Pages that link to "Item:Q1951555"
From MaRDI portal
The following pages link to An algebraic proof of Rabin's tree theorem (Q1951555):
Displaying 12 items.
- Recognisability for algebras of infinite trees (Q551167) (← links)
- Rabin tree automata and finite monoids (Q1341736) (← links)
- Algebra for trees (Q2074223) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- (Q4451249) (← links)
- The notion of rank and games (Q4501152) (← links)
- (Q4989401) (← links)
- (Q5129949) (← links)
- (Q5207048) (← links)
- (Q5216308) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)