The Regular Languages of First-Order Logic with One Alternation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume. The Regular Languages of First-Order Logic with One Alternation. 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 'Corentin Barloy' in GoogleThis author has not been identified. Look up 'Michaël Cadilhac' in GoogleThis author has not been identified. Look up 'Charles Paperman' in GoogleThis author has not been identified. Look up 'Thomas Zeume' in Google

runs on WebDSL