The following pages link to Bart Kuijpers (Q555773):
Displayed 30 items.
- On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774) (← links)
- Item:Q555773 (redirect page) (← links)
- Evaluating geometric queries using few arithmetic operations (Q694567) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- Some lower bounds for the complexity of the linear programming feasibility problem over the reals (Q998976) (← links)
- Topological formulation of termination properties of iterates of functions (Q1029041) (← links)
- Classes of spatio-temporal objects and their closure properties (Q1419394) (← links)
- Software engineering and complexity in effective algebraic geometry (Q1931431) (← links)
- Efficient evaluation of specific queries in constraint databases (Q1944172) (← links)
- Deciding the point-to-fixed-point problem for skew tent maps on an interval (Q2208250) (← links)
- On the realisability of double-cross matrices by polylines in the plane (Q2396825) (← links)
- Topological elementary equivalence of closed semi-algebraic sets in the real plane (Q2710595) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- (Q3172382) (← links)
- A characterization of first-order topological properties of planar spatial data (Q3546315) (← links)
- Data models and query languages for spatial databases (Q3840864) (← links)
- (Q4414535) (← links)
- (Q4473167) (← links)
- (Q4508943) (← links)
- (Q4508944) (← links)
- (Q4508945) (← links)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space (Q5109238) (← links)
- First-order complete and computationally complete query languages for spatio-temporal databases (Q5277802) (← links)
- Optimal prepayment of Dutch mortgages* (Q5422018) (← links)
- First‐Order Languages Expressing Constructible Spatial Database Queries (Q5432362) (← links)
- Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases (Q5470739) (← links)
- (Q5499648) (← links)
- On the intrinsic complexity of elimination problems in effective algebraic geometry (Q5501606) (← links)
- (Q5714258) (← links)
- Constraint Databases (Q5717745) (← links)