Louis Hodes

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The logical complexity of geometric properties in the plane
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69
2014-03-14Paper
Solving problems by formula manipulation in logic and linear inequalities
Artificial Intelligence
1972-01-01Paper
The Logical Complexity of Geometric Properties in the Plane
Journal of the ACM
1970-01-01Paper
Discrete Approximation of Continuous Convex Blobs
SIAM Journal on Applied Mathematics
1970-01-01Paper


Research outcomes over time


This page was built for person: Louis Hodes