- Record: found
- Abstract: not found
- Book Chapter: not found
Logic Colloquium 2007
Three lectures on automatic structures
edited-book
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references53
- Record: found
- Abstract: not found
- Article: not found
Weak Second-Order Arithmetic and Finite Automata
J. Büchi (1960)
- Record: found
- Abstract: not found
- Article: not found
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
Yih-Kuen Tsay, Bengt Gunnar Jonsson, Karlis Cerans … (2000)
- Record: found
- Abstract: not found
- Book Chapter: not found
Automatic presentations of structures
Bakhadyr Khoussainov, Anil Nerode (1995)