Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sandra Kiefer, Pascal Schweitzer. Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 287-296, ACM, 2016. [doi]

This author has not been identified. Look up 'Sandra Kiefer' in GoogleThis author has not been identified. Look up 'Pascal Schweitzer' in Google

runs on WebDSL