Tree-like Tableaux.

Jean-Christophe Aval Adrien Boussicault Philippe Nadeau

Published in: Electron. J. Comb. (2013)

Keyphrases

tree structure
binary tree
index structure
tree structures
genetic algorithm
expert systems
multi dimensional
quadtree
b tree
modal logic
tree search