Superposition for Lambda-Free Higher-Order Logic.

Alexander Bentkamp Jasmin Blanchette Simon Cruanes Uwe Waldmann

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
theorem proving
fixed point
data representation
high level
data model