The following pages link to (Q3787513):
Displaying 7 items.
- On n-equivalence of binary trees (Q579237) (← links)
- Quantifier hierarchies over the first-order definable tree languages (Q1924423) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Characterizing EF and EX tree logics (Q2503041) (← links)
- Games for Temporal Logics on Trees (Q3602814) (← links)
- First-order properties of trees, star-free expressions, and aperiodicity (Q3978766) (← links)
- First-order aspects of tree paths (Q4644528) (← links)