4370 search results - page 34 / 874 » Algebra of Logic Programming |
ICLP
1991
Springer
14 years 11 days ago
1991
Springer
Interpretation of Logic Programs 1
APAL
2004
13 years 8 months ago
2004
Relation were invented by Tarski and his collaborators in the middle of the twentieth century. The concept of integrality arose naturally early in the history of the subject, and s...
EUSFLAT
2009
13 years 6 months ago
2009
POPL
2009
ACM
14 years 9 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
EPIA
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...