Login / Signup

Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings.

Miquel BofillGuillem GodoyRobert NieuwenhuisAlbert Rubio
Published in: J. Autom. Reason. (2003)
Keyphrases
  • knuth bendix
  • term rewriting
  • theorem proving
  • inference rules
  • function symbols
  • rewrite systems
  • logic programming
  • first order logic
  • theorem prover
  • nonmonotonic reasoning
  • modal logic
  • logic programs