Index Sets of Computable Structures with Decidable Theories.

Ekaterina B. Fokina

Published in: CiE (2007)

Keyphrases

database
finite sets
neural network
index structure
first order logic
databases
learning algorithm
horn clauses
datalog programs