A characterization of first-order topological properties of planar spatial data
From MaRDI portal
Publication:3546315
DOI10.1145/1131342.1131346zbMath1326.68301OpenAlexW1966915419MaRDI QIDQ3546315
Michael Benedikt, Christof Löding, Thomas Wilke, Bart Kuijpers, Jan Van den Bussche
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1942/649
Database theory (68P15) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Logic in computer science (03B70) Semialgebraic sets and related spaces (14P10)
Related Items (2)
Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ The past and future of embedded finite model theory
This page was built for publication: A characterization of first-order topological properties of planar spatial data
