Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.

Vijay Ganesh Murphy Berzish

Published in: CoRR (2016)

Keyphrases

alphabet size
maximum number
database
binary strings
finite alphabet
theoretical framework
string matching
total length
neural network
decision trees
computational complexity
xml documents
computational model