The following pages link to (Q3833629):
Displaying 5 items.
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- General varieties of tree languages (Q1275067) (← links)
- Algebras for classifying regular tree languages and an application to frontier testability (Q4630273) (← links)
- On reverse and general definite tree languages (Q5204314) (← links)
- Cascade Products and Temporal Logics on Finite Trees (Q5262961) (← links)