Mia Minnes

Identifiers

• name variant Mia Minnes 0.60 · backfill

Papers (4)

1. (Un)Decidability Results for Word Equations with Length and Regular Expression Constraints cs.LO · 2013 · author #2
2. Three Lectures on Automatic Structures math.LO · 2008 · author #2
3. Unary Automatic Graphs: An Algorithmic Perspective math.LO · 2008 · author #3
4. Model Theoretic Complexity of Automatic Structures math.LO · 2008 · author #2

Mentions

• 1306.6054 #2 · backfill · confidence 0.70 Mia Minnes
• 0809.3430 #2 · backfill · confidence 0.70 Mia Minnes
• 0809.3425 #2 · backfill · confidence 0.70 Mia Minnes
• 0809.3330 #3 · backfill · confidence 0.70 Mia Minnes

Frequent Coauthors

• Bakhadyr Khoussainov 3 shared papers
• Armando Solar-Lezama 1 shared papers
• Jiamou Liu 1 shared papers
• Martin Rinard 1 shared papers
• Vijay Ganesh 1 shared papers