Login / Signup
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories.
C.-H. Luke Ong
Dominik 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