Login / Signup
Characterization of Repetitions in Sturmian Words: A New Proof.
Jarkko Peltomäki
Published in:
CoRR (2014)
Keyphrases
</>
theorem proving
english words
machine learning
keywords
theorem prover
n gram
proper nouns
related words
linear logic
knowledge representation
word sense disambiguation
hidden markov models
decision trees
knowledge base
data mining
logical rules
database