Automata-Based Presentations of Infinite Structures

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

Cambridge : Univ. Press (2011)
Buchbeitrag

In: Finite and algorithmic model theory / ed. by Javier Esparza ...
Seite(n)/Artikel-Nr.: 1-76