Login / Signup

Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.

Sara PoratNissim Francez
Published in: CADE (1986)
Keyphrases
  • term rewriting systems
  • functional programs
  • theorem prover
  • theorem proving
  • term rewriting
  • logic programs
  • fuzzy control
  • data management