Pages that link to "Item:Q3978766"

The following pages link to First-order properties of trees, star-free expressions, and aperiodicity (Q3978766):

Displayed 8 items.

• Adjunct elimination in context logic for trees (Q964499) ‎ (← links)
• General varieties of tree languages (Q1275067) ‎ (← links)
• Modulo-counting quantifiers over finite trees (Q1325850) ‎ (← 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)