8699 search results - page 105 / 1740 » Elements of the Theory of Computation |
SIGECOM
2011
ACM
12 years 11 months ago
2011
ACM
Recent results in complexity theory suggest that various economic theories require agents to solve computationally intractable problems. However, such results assume the agents ar...
PC
2000
13 years 8 months ago
2000
A short overview is presented of the density functional theory and molecular dynamics (DFT
CORR
2002
Springer
13 years 8 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
ICCS
2004
Springer
14 years 2 months ago
2004
Springer
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
PODS
2006
ACM
14 years 9 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...