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
Identifikationsnummern
- DOI: 10.1145/3373718.3394734
- REPORT NUMBER: RWTH-2020-12329