Sciweavers

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