Login / Signup

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.

Guodong LiScott OwensKonrad Slind
Published in: ESOP (2007)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • general purpose
  • theorem proving
  • conditional logic
  • programming language
  • multi agent
  • sufficient conditions