Another proof of Soittola's theorem.

Jean Berstel Christophe Reutenauer

Published in: Theor. Comput. Sci. (2008)

Keyphrases

interactive theorem proving
image processing
theorem prover
von neumann
real time
neural network
machine learning
information retrieval
multiscale
special case
proof planning