Alternative proof of the Lyndon-Schützenberger Theorem.

Pál Dömösi Géza Horváth

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

Keyphrases

interactive theorem proving
feature selection
machine learning
real world
data mining
search engine
high level
digital libraries
hidden markov models
theorem prover
von neumann
proof planning