Pages that link to "Item:Q5191517"
From MaRDI portal
The following pages link to FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (Q5191517):
Displaying 8 items.
- A note on the characterization of TL [EF] (Q845961) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- On labeled birooted tree languages: algebras, automata and logic (Q2347808) (← 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)
- Recognisable Languages over Monads (Q3451085) (← links)
