Canonical finite models of Kleene algebra with tests.

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

statistical models
database
machine learning algorithms
decision trees
mathematical models
prior knowledge
probability distribution
experimental data
statistical tests