Login / Signup

NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems.

Michio Oyamaguchi
Published in: SIAM J. Comput. (1993)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • sufficient conditions
  • first order logic
  • database
  • logic programming
  • databases
  • database systems
  • datalog programs
  • function symbols