A Type Theoretical View of Böhm-Trees.

Toshihiko Kurata

Published in: TLCA (1997)

Keyphrases

decision trees
theoretical analysis
database
real time
multiple views
databases
artificial intelligence
database systems
image sequences
multi agent
tree structure
leaf nodes