Pages that link to "Item:Q5894002"
From MaRDI portal
The following pages link to Tree Languages Defined in First-Order Logic with One Quantifier Alternation (Q5894002):
Displayed 7 items.
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- Fragments of first-order logic over infinite words (Q537914) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Algebra for trees (Q2074223) (← links)
- Algebra for Infinite Forests with an Application to the Temporal Logic EF (Q3184670) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- Item:Q5894002 (redirect page) (← links)