Login / Signup

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