A Proof System for Finite Trees.

Patrick Blackburn Wilfried Meyer-Viol Maarten de Rijke

Published in: CSL (1995)

Keyphrases

decision trees
modal logic
database
data mining
finite number
binary trees
real time
databases
machine learning
database systems
bayesian networks
tree structures
tree construction