• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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