Login / Signup

Automating the Knuth Bendix Ordering.

Jeremy DickJohn KalmusUrsula Martin
Published in: Acta Informatica (1990)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • function symbols
  • general purpose
  • logic programs