Sequential Relational Decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi. Sequential Relational Decomposition. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 432-441, ACM, 2018. [doi]

This author has not been identified. Look up 'Dror Fried' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL