Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory.

J. Richard Büchi Steven Senger

Published in: Math. Log. Q. (1988)

Keyphrases

theoretical framework
theoretical basis
data mining
theoretical foundation
information theory
conceptual framework
database
real world
information retrieval
expert systems
evolutionary algorithm
database theory
formal theory