Sciweavers

CSR
2008
Springer
14 years 10 months ago
A survey of constraint-based programming paradigms
Maria Grazia Buscemi, Ugo Montanari
89
Voted
CSR
2008
Springer
14 years 10 months ago
Colouring, constraint satisfaction, and complexity
Constraint satisfaction problems have enjoyed much attention since the early seventies, and in the last decade have become also a focus of attention amongst theoreticians. Graph c...
Pavol Hell, Jaroslav Nesetril
CSR
2008
Springer
14 years 10 months ago
A survey of state vectors
Ward Douglas Maurer
CSR
2008
Springer
14 years 10 months ago
The consequences of eliminating NP solutions
Piotr Faliszewski, Lane A. Hemaspaandra
CSR
2008
Springer
14 years 10 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky