Automatic Structures: Twenty Years Later
Grädel, Erich
New York,NY,United States / ACM New York, NY, USA (2020) [Contribution to a book, Contribution to a conference proceedings]
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
Page(s): 21-34
Identifier
- DOI: 10.1145/3373718.3394734
- REPORT NUMBER: RWTH-2020-12329