36 citations · 37 across the 4 of their papers we have counts for
4 papers
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama +1
We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constra…
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…
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…
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…