Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arnaud Durand 0001, Anselm Haak, Heribert Vollmer. Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. 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 354-363, ACM, 2018. [doi]

This author has not been identified. Look up 'Arnaud Durand 0001' in GoogleThis author has not been identified. Look up 'Anselm Haak' in GoogleThis author has not been identified. Look up 'Heribert Vollmer' in Google

runs on WebDSL