Generalized Data Automata and Fixpoint Logic.

Thomas Colcombet Amaldev Manuel

Published in: FSTTCS (2014)

Keyphrases

data structure
data sources
data analysis
fixpoint
database
prior knowledge
data mining
knowledge base
probability distribution