The following pages link to (Q2770673):
Displaying 8 items.
- Recognisability for algebras of infinite trees (Q551167) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- Graph automata (Q2481961) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- Positive varieties of tree languages (Q2576866) (← links)
