Login / Signup
Non-recursiveness of the set of finite sets of equations whose theories are one-based.
Douglas D. Smith
Published in:
Notre Dame J. Formal Log. (1972)
Keyphrases
</>
finite sets
small number
data sets
decision trees
database systems
domain knowledge
schema mappings