Login / Signup
Dependency pairs for proving termination properties of conditional term rewriting systems.
Salvador Lucas
José Meseguer
Published in:
J. Log. Algebraic Methods Program. (2017)
Keyphrases
</>
term rewriting systems
term rewrite systems
pairwise
functional programs
query processing
logic programs
desirable properties