Pages that link to "Item:Q2503041"
From MaRDI portal
The following pages link to Characterizing EF and EX tree logics (Q2503041):
Displaying 13 items.
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- A note on the characterization of TL [EF] (Q845961) (← links)
- Automata on finite trees (Q2074209) (← links)
- Algebra for trees (Q2074223) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- EF+EX Forest Algebras (Q2947153) (← links)
- On Pseudovarieties of Forest Algebras (Q2974058) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Algebra for Infinite Forests with an Application to the Temporal Logic EF (Q3184670) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
- Games for Temporal Logics on Trees (Q3602814) (← links)
- Weak Separation Problem for Tree Languages (Q5859635) (← links)