Automatic Structures: Twenty Years Later
Grädel, Erich (Corresponding author)
New York, NY, United States : Association for Computing Machinery (2020)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020, Saarbrücken, Germany / sponsored by ACM Special Interest Group on Logic and Computation (SIGLOG), IEEE Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science (EATCS) ; conference chairs: Holger Hermanns, Lijun Zhang, Naoki Kobayashi
Seite(n)/Artikel-Nr.: 21-34
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.1145/3373718.3394734
- RWTH PUBLICATIONS: RWTH-2020-12329