Login / Signup

About the Confluence of Equational Pattern Rewrite Systems.

Alexandre BoudetEvelyne Contejean
Published in: CADE (1998)
Keyphrases
  • rewrite systems
  • term rewriting
  • theorem proving
  • theorem prover
  • quantifier free
  • knuth bendix
  • active rules
  • inference rules
  • deductive databases
  • first order logic
  • active databases
  • operational semantics