A Focusing Inverse Method Theorem Prover for First-Order Linear Logic.

Kaustuv Chaudhuri Frank Pfenning

Published in: CADE (2005)

Keyphrases

theorem prover
first order logic
computational complexity
pairwise
higher order
feature set
theorem proving