Sciweavers

CSR
2008
Springer
13 years 4 months ago
A survey of constraint-based programming paradigms
Maria Grazia Buscemi, Ugo Montanari
CSR
2008
Springer
13 years 4 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
13 years 4 months ago
A survey of state vectors
Ward Douglas Maurer
CSR
2008
Springer
13 years 4 months ago
The consequences of eliminating NP solutions
Piotr Faliszewski, Lane A. Hemaspaandra
CSR
2008
Springer
13 years 4 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