Login / Signup

Certification of Nontermination Proofs.

Christian SternagelRené Thiemann
Published in: ITP (2012)
Keyphrases
  • third party
  • theorem proving
  • formal proofs
  • theorem prover
  • decision procedures
  • natural deduction
  • data sets
  • equational theories
  • artificial neural networks
  • database administration
  • interactive theorem proving