Pages that link to "Item:Q5387304"
From MaRDI portal
The following pages link to First-order and counting theories of<i>ω</i>-automatic structures (Q5387304):
Displaying 14 items.
- An optimal construction of Hanf sentences (Q420856) (← links)
- The isomorphism relation between tree-automatic structures (Q707994) (← links)
- Reachability on prefix-recognizable graphs (Q975403) (← links)
- From automatic structures to automatic groups. (Q2016098) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- Expressing cardinality quantifiers in monadic second-order logic over chains (Q3011122) (← links)
- Where Automatic Structures Benefit from Weighted Automata (Q3098042) (← links)
- Automatic structures of bounded degree revisited (Q3107359) (← links)
- Some problems in automata theory which depend on the models of set theory (Q3117545) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- Automatic Structures of Bounded Degree Revisited (Q3644760) (← links)
- Counting problems for parikh images (Q5111226) (← links)
- A hierarchy of tree-automatic structures (Q5388735) (← links)
- Two Effective Properties of ω-Rational Functions (Q6169907) (← links)
