11 search results - page 3 / 3 » Dichotomies and Duality in First-order Model Checking Proble... |
116
click to vote
PODS
1994
ACM
15 years 2 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...