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