36 citations · 36 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2008★ 36 cited
Three Lectures on Automatic Structures
Bakhadyr Khoussainov, Mia Minnes
This paper grew out of three tutorial lectures on automatic structures given by the first author at the Logic Colloquium 2007. We discuss variants of automatic structures related t…
math.LO2008
Model Theoretic Complexity of Automatic Structures
Bakhadyr Khoussainov, Mia Minnes
We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks o…
math.LO2008
Unary Automatic Graphs: An Algorithmic Perspective
Bakhadyr Khoussainov, Jiamou Liu, Mia Minnes
This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of finite degree and automatic over…