Login / Signup

The Decidability of the First-Order Theory of Knuth-Bendix Order.

Ting ZhangHenny B. SipmaZohar Manna
Published in: CADE (2005)
Keyphrases
  • knuth bendix
  • term rewriting
  • expert systems
  • databases
  • programming language
  • description logics
  • query answering