The logical complexity of geometric properties in the plane

DOI10.1145/800169.805440zbMath1282.68132OpenAlexW2170207684MaRDI QIDQ5402525

Louis Hodes

Publication date: 14 March 2014

Published in: Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/800169.805440

Mathematics Subject Classification ID

Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Descriptive complexity and finite models (68Q19)

This page was built for publication: The logical complexity of geometric properties in the plane