Monadic Second Order Definable Relations on the Binary Tree.

Hans Läuchli Christian Savioz

Published in: J. Symb. Log. (1987)

Keyphrases

binary tree
quadtree
tree representation
higher order
multiclass svm
hierarchical structure
transitive closure
predictive coding
management system
deductive databases
information retrieval
data structure
feature space
situation calculus
datalog programs