A theorem of Cobham for non-primitive substitutions

Published in: CoRR (2008)

Keyphrases

high level
information retrieval
higher level
database
von neumann
digital topology
machine learning
information systems
knowledge base
multiscale
dynamic programming
intuitionistic logic