The following pages link to (Q3832056):
Displaying 7 items.
- Tree algebras and varieties of tree languages (Q884456) (← links)
- General varieties of tree languages (Q1275067) (← links)
- Algebra for trees (Q2074223) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- Aperiodicity in Tree Automata (Q3522867) (← links)
- On reverse and general definite tree languages (Q5204314) (← links)
- Cascade Products and Temporal Logics on Finite Trees (Q5262961) (← links)
