Automata-Based Presentations of Infinite Structures

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

Cambridge / Univ. Press (2011) [Buchbeitrag]

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-102339