366 citations
- Carleton CollegeUS8 papers
- University of CanterburyNZ7 papers
- Max Planck Institute for Gravitational PhysicsDE6 papers
- Northwestern UniversityUS6 papers
- University of BirminghamGB6 papers
- California Institute of TechnologyUS4 papers
- Massey UniversityNZ4 papers
- Nagoya UniversityJP4 papers
- Université Paris CitéFR4 papers
- University of GlasgowGB4 papers
- University of TurkuFI4 papers
- Austrian Academy of SciencesAT3 papers
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…