5 search results - page 1 / 1 » SIGACT news complexity theory column 36 |
SIGACT
2002
13 years 4 months ago
2002
SIGACT
2010
13 years 3 months ago
2010
SIGACT
2008
13 years 4 months ago
2008
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
DIMACS
1996
13 years 6 months ago
1996
in Structure'95. 14] R. Fagin. Easier ways to win logical games. In Proc. DIMACS Workshop on Descriptive Complexity and Finite Models, AMS 1997. 15] R. Fagin, L. Stockmeyer, M...