Sign in

Termination Modulo Combinations of Equational Theories.

Francisco DuránSalvador LucasJosé Meseguer
Published in: FroCoS (2009)
Keyphrases
  • equational theories
  • theorem proving
  • term rewriting
  • rewrite systems
  • domain knowledge
  • logic programs
  • function symbols