Login / Signup

On Several Proofs of the Recognizability Theorem.

Bruno Courcelle
Published in: CAI (2009)
Keyphrases
  • interactive theorem proving
  • von neumann
  • theorem prover
  • theorem proving
  • formal proofs
  • database
  • databases
  • image processing
  • formal proof
  • data sets
  • data mining
  • image sequences
  • multiscale
  • learning environment