A Remark on Free Choice Sequences and the Topological Completeness Proofs.

Published in: J. Symb. Log. (1958)

Keyphrases

formal proofs
equational theories
hidden markov models
sequence analysis
topological properties
neural network
long sequences
data quality
data sets
variable length
multi dimensional
biological sequences
test sequences
website
artificial intelligence
topological spaces
learning algorithm