Login / Signup

Efficient Encodings of First-Order Horn Formulas in Equational Logic.

Koen ClaessenNicholas Smallbone
Published in: IJCAR (2018)
Keyphrases
  • horn clauses
  • first order logic
  • theorem proving
  • database systems
  • theorem prover
  • horn formulas
  • equational theories