A Mechanized Theory of Regular Trees in Dependent Type Theory.

Régis Spadotti

Published in: ITP (2015)

Keyphrases

general theory
decision trees
theoretical framework
real world
decision making
artificial neural networks
theoretical basis
database
multiscale
theoretical foundation
decision theory