Login / Signup
Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.
Guodong Li
Scott Owens
Konrad 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