Theories without the tree property of the second kind.

Artem Chernikov

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

tree structure
theoretical framework
index structure
desirable properties
defeasible logic
spanning tree
website
expert systems
r tree
graph structure
domain theory
classification trees
tree search