Pages that link to "Item:Q3522020"
From MaRDI portal
The following pages link to Logics and Automata for Totally Ordered Trees (Q3522020):
Displaying 5 items.
- Logics for Unordered Trees with Data Constraints on Siblings (Q2799171) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- First-order logic on finite trees (Q5096727) (← links)
- An Automata Theoretic Approach to Rational Tree Relations (Q5448669) (← links)
- Hybrid tree automata and the yield theorem for constituent tree automata (Q6057836) (← links)