Sign in
Termination Modulo Combinations of Equational Theories.
Francisco Durán
Salvador Lucas
José Meseguer
Published in:
FroCoS (2009)
Keyphrases
</>
equational theories
theorem proving
term rewriting
rewrite systems
domain knowledge
logic programs
function symbols