2 search results - page 1 / 1 » Separating the Power of Monotone Span Programs over Differen... |
FOCS
2003
IEEE
13 years 10 months ago
2003
IEEE
SAS
1992
Springer
13 years 9 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...