Pages that link to "Item:Q2946590"
From MaRDI portal
The following pages link to Regular tree languages definable in FO and in FO <sub> <i>mod</i> </sub> (Q2946590):
Displayed 8 items.
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- Automata on finite trees (Q2074209) (← links)
- Algebra for trees (Q2074223) (← links)
- EF+EX Forest Algebras (Q2947153) (← links)
- A Note on Decidable Separability by Piecewise Testable Languages (Q2947878) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q5136301) (← links)
