Automatic structures

Blumensath, Achim; Grädel, Erich

Los Alamitos, Calif. [u.a.] : IEEE Computer Society (2000)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings / 15th Annual IEEE Symposium on Logic in Computer Science : June 26 - 28, 2000, Santa Barbara, California / sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing ...
Seite(n)/Artikel-Nr.: 51-62