Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche. Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. In Christel Baier, Dana Fisman, editors, LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Pascal Bergsträßer' in GoogleThis author has not been identified. Look up 'Moses Ganardi' in GoogleThis author has not been identified. Look up 'Anthony W. Lin' in GoogleThis author has not been identified. Look up 'Georg Zetzsche' in Google

runs on WebDSL