Login / Signup

Fast Knuth-Bendix Completion: Summary.

Jim Christian
Published in: RTA (1989)
Keyphrases
  • knuth bendix
  • term rewriting
  • rewrite systems
  • function symbols
  • object oriented
  • database management systems
  • database design