Axiomatizing recursion-free, regular monitors.

Luca Aceto Antonis Achilleos Elli Anastasiadi Anna Ingólfsdóttir

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

Keyphrases

complex objects
deductive databases
training data
data mining
decision trees
data structure