Block products for algebras over countable words and applications to logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith. Block products for algebras over countable words and applications to logic. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019. pages 1-13, IEEE, 2019. [doi]

This author has not been identified. Look up 'Bharat Adsul' in GoogleThis author has not been identified. Look up 'Saptarshi Sarkar' in GoogleThis author has not been identified. Look up 'A. V. Sreejith' in Google

runs on WebDSL