Automata-based presentations of infinite structures

Vince Bárány, Erich Grädel, Sasha Rubin. Automata-based presentations of infinite structures. In Javier Esparza, Christian Michaux, Charles Steinhorn, editors, Finite and Algorithmic Model Theory. Volume 379 of London Mathematical Society Lecture Note Series, pages 1-76, Cambridge University Press, 2011.

Abstract

Abstract is missing.