Sign in
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.
Sean McLaughlin
Frank Pfenning
Published in:
CADE (2009)
Keyphrases
</>
theorem proving
theorem prover
first order logic