The equational theory of regular words.

Stephen L. Bloom Zoltán Ésik

Published in: Inf. Comput. (2005)

Keyphrases

general theory
theoretical framework
theorem proving
theoretical basis
keywords
neural network
genetic algorithm
information theory
multiword
linguistic information