A Functional (Monadic) Second-Order Theory of Infinite Trees.

Anupam Das Colin Riba

Published in: CoRR (2019)

Keyphrases

decision trees
higher order
theoretical framework
tree models
finite sets
machine learning
general theory
data management
tree structure
formal theory