Login / Signup

Dependency pairs for proving termination properties of conditional term rewriting systems.

Salvador LucasJosé 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