Pages that link to "Item:Q5310689"
From MaRDI portal
The following pages link to Transforming structures by set interpretations (Q5310689):
Displayed 12 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Second-order finite automata (Q2158302) (← links)
- Rewriting higher-order stack trees (Q2411043) (← links)
- The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic (Q2672657) (← links)
- Simple monadic theories and partition width (Q3170562) (← links)
- Rewriting Higher-Order Stack Trees (Q3194729) (← links)
- When Is Reachability Intrinsically Decidable? (Q3533013) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- On the Complexity of Infinite Advice Strings (Q5002808) (← links)
- Uniformly Automatic Classes of Finite Structures (Q5090943) (← links)
- (Q5091265) (← links)
- Regular model checking revisited (Q6045028) (← links)