On Infinite Terms Having a Decidable Monadic Theory.

Published in: MFCS (2002)

Keyphrases

datalog programs
theoretical framework
database
data sets
databases
theoretical basis
datalog queries
genetic algorithm
query language
data integration
first order logic
general theory