Pages that link to "Item:Q3978766"
From MaRDI portal
The following pages link to First-order properties of trees, star-free expressions, and aperiodicity (Q3978766):
Displaying 16 items.
- Adjunct elimination in context logic for trees (Q964499) (← links)
- First-order logic and star-free sets (Q1088982) (← links)
- General varieties of tree languages (Q1275067) (← links)
- Modulo-counting quantifiers over finite trees (Q1325850) (← links)
- Quantifier hierarchies over the first-order definable tree languages (Q1924423) (← links)
- Algebra for trees (Q2074223) (← links)
- Operator precedence temporal logic and model checking (Q2215961) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- Aperiodicity in Tree Automata (Q3522867) (← links)
- ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
- (Q3787513) (← links)
- First-order aspects of tree paths (Q4644528) (← links)
- First-order logic on finite trees (Q5096727) (← links)
- (Q5101344) (← links)
- STACS 2005 (Q5710686) (← links)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Q6137830) (← links)