Login / Signup

A Proof-Theoretical Investigation of Zantema's Problem.

Thierry CoquandHenrik 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