The following pages link to (Q4202955):
Displaying 9 items.
- Structure sharing for quantified terms: Fundamentals (Q911773) (← links)
- A language hierarchy of binary relations (Q2216121) (← links)
- The ``equal last letter'' predicate for words on infinite alphabets and classes of multitape automata (Q2271426) (← links)
- On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
- (Q4395578) (← links)
- The expressibility of languages and relations by word equations (Q4571943) (← links)
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (Q5167850) (← links)
- Going Higher in First-Order Quantifier Alternation Hierarchies on Words (Q5244385) (← links)
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)