Infinite and Bi-infinite Words with Decidable Monadic Theories.

Dietrich Kuske Jiamou Liu Anastasia Moskvina

Published in: CSL (2015)

Keyphrases

database
business intelligence
datalog queries
finite sets
databases
neural network
information retrieval
keywords
data warehouse