Automatic Structures: Twenty Years Later

Grädel, Erich

New York,NY,United States / ACM New York, NY, USA (2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Seite(n): 21-34