Login / Signup

Completion of Rewrite Systems with Membership Constraints.

Hubert Comon
Published in: ICALP (1992)
Keyphrases
  • rewrite systems
  • knuth bendix
  • quantifier free
  • term rewriting
  • function symbols
  • logic programs
  • theorem prover
  • theorem proving
  • data flow
  • evaluation model