Hanf normal form for first-order logic with unary counting quantifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt. Hanf normal form for first-order logic with unary counting quantifiers. 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 277-286, ACM, 2016. [doi]

This author has not been identified. Look up 'Lucas Heimberg' in GoogleThis author has not been identified. Look up 'Dietrich Kuske' in GoogleThis author has not been identified. Look up 'Nicole Schweikardt' in Google

runs on WebDSL