Some Wellfounded Trees in UniMath - Extended Abstract.

Benedikt Ahrens Anders Mörtberg

Published in: ICMS (2016)

Keyphrases

extended abstract
decision trees
tree structure
neural network
decision making
databases
information technology
information extraction
tree structures
tree models
binary trees