Automata-Based Presentations of Infinite Structures

Bárány, Vince; Grädel, Erich; Rubin, Sasha

Cambridge : Univ. Press (2011)
Contribution to a book

In: Finite and algorithmic model theory / ed. by Javier Esparza ...
Page(s)/Article-Nr.: 1-76