835 search results - page 2 / 167 » Geometric Logic in Computer Science |
CSE
2006
IEEE
13 years 8 months ago
2006
IEEE
TDSC
2011
13 years 3 months ago
2011
JUCS
2006
13 years 8 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
FOCS
2007
IEEE
14 years 2 months ago
2007
IEEE
We show for several planar and geometric problems that the best known approximation schemes are essentially optimal with respect to the dependence on ǫ. For example, we show that...