Infinite and Bi-infinite Words with Decidable Monadic Theories.

Dietrich Kuske Jiamou Liu Anastasia Moskvina

Published in: CoRR (2017)

Keyphrases

datalog programs
n gram
artificial intelligence
knowledge discovery
business intelligence
computational models
finite sets