Login / Signup
Superposition for Lambda-Free Higher-Order Logic.
Alexander Bentkamp
Jasmin Christian Blanchette
Simon Cruanes
Uwe Waldmann
Published in:
IJCAR (2018)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
theorem proving
logical framework
fixed point
artificial intelligence
automated reasoning
pairwise
np hard
nonmonotonic reasoning