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