Automatic Structures-Reference-Cited by-同舟云学术

Automatic Structures

Published:2020-07-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Grädel Erich¹

Affiliation:

1. Mathematical Foundations of Computer Science, RWTH Aachen University, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3373718.3394734

Reference60 articles.

1. Faried Abu Zaid. 2016. Algorithmic Solutions via Model Theoretic Interpretations. Ph.D. Dissertation. RWTH Aachen University. Faried Abu Zaid. 2016. Algorithmic Solutions via Model Theoretic Interpretations. Ph.D. Dissertation. RWTH Aachen University.

2. Faried Abu Zaid Erich Grädel Łukasz Kaiser and Wied Pakusa. 2013. Model-Theoretic Properties of omega-Automatic Structures. Theory of Computing Systems Special Issue dedicated to STACS 2012 (2013). Faried Abu Zaid Erich Grädel Łukasz Kaiser and Wied Pakusa. 2013. Model-Theoretic Properties of omega-Automatic Structures. Theory of Computing Systems Special Issue dedicated to STACS 2012 (2013).

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Existential Definability of Unary Predicates in Büchi Arithmetic;Lecture Notes in Computer Science;2024

2. Addition machines, automatic functions and open problems of Floyd and Knuth;Journal of Computer and System Sciences;2023-09

3. String compression in FA–presentable structures;Theoretical Computer Science;2023-02

4. Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02

5. A computation model with automatic functions and relations as primitive operations;Theoretical Computer Science;2022-07