Sciweavers

835 search results - page 1 / 167
» Geometric Logic in Computer Science
Sort
View
BSL
2006
109views more  BSL 2006»
15 years 7 months ago
Computing with functionals - computability theory or computer science?
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...
Dag Normann
136
Voted
FOCS
2000
IEEE
15 years 11 months ago
Polynomial Time Approximation Schemes for Geometric k-Clustering
Rafail Ostrovsky, Yuval Rabani