Login / Signup

Verifying proofs in constant depth.

Olaf BeyersdorffSamir DattaAndreas KrebsMeena MahajanGido Scharfenberger-FabianKarteek SreenivasaiahMichael ThomasHeribert Vollmer
Published in: ACM Trans. Comput. Theory (2013)
Keyphrases
  • depth map
  • model checking
  • theorem proving
  • multiscale
  • lower bound
  • depth cues
  • information retrieval
  • case study
  • depth information
  • theorem prover
  • verification method
  • equational theories