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