Login / Signup

HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.

C.-H. Luke OngDominik Wagner
Published in: LICS (2019)
Keyphrases
  • higher order logic
  • higher order
  • modulo theories
  • theorem prover
  • conditional logic
  • logical framework
  • machine learning
  • high level
  • search algorithm
  • relational databases