Login / Signup
Analytic Tableaux for Higher-Order Logic with Choice.
Julian Backes
Chad E. Brown
Published in:
J. Autom. Reason. (2011)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
modal logic
logical framework
automated reasoning
decision procedures
functional dependencies
data representation