Sign in
Call-by-need reduction for membership conditional term rewriting Systems.
Mizuhito Ogawa
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
databases
database systems
conditional probabilities