Ramsey Quantifiers over Automatic Structures: {C}omplexity and Applications to Verification

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche

Journal title: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Journal number: 37

Journal publisher: ACM/IEEE

Published year: 2022

DOI identifier: 10.48550/arxiv.2205.09015