Sign in
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