Login / Signup
On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving).
Daniel Goc
Narad Rampersad
Michel Rigo
Pavel Salimov
Published in:
Int. J. Found. Comput. Sci. (2014)
Keyphrases
</>
small number
automatic theorem proving
computational complexity
data sets
e learning
database systems
lower bound
expert systems