Login / Signup
A Technique for Doing Lazy Evaluation in Logic.
Sanjai Narain
Published in:
SLP (1985)
Keyphrases
</>
lazy evaluation
functional programs
bayesian decision problems
sort merge
modal logic
logic programming
multi dimensional
database systems
data distribution