The following pages link to (Q4736874):
Displaying 7 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Learning pattern languages over groups (Q1663643) (← links)
- The complexity of verbal languages over groups (Q1713480) (← links)
- Automatic learners with feedback queries (Q2637649) (← links)
- A Hierarchy of Automatic<i>ω</i>-Words having a Decidable MSO Theory (Q3526410) (← links)
- Learners based on transducers (Q5918614) (← links)
