Login / Signup
A Proof-Theoretical Investigation of Zantema's Problem.
Thierry Coquand
Henrik Persson
Published in:
CSL (1997)
Keyphrases
</>
theoretical investigation
theorem prover
linear logic
theorem proving
preprocessing
data sets
automated theorem proving
database
databases
multi agent systems
mathematical proofs
interactive theorem proving