Login / Signup

Analytic Tableaux for Higher-Order Logic with Choice.

Julian BackesChad 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