Baxter tree-like tableaux.

Jean-Christophe Aval Adrien Boussicault Mathilde Bouvel Olivier Guibert Matteo Silimbani

Published in: Australas. J Comb. (2023)

Keyphrases

modal logic
tree structure
index structure
functional dependencies
binary tree
range queries
tree models
tree construction
pruning algorithm
tree search
r tree
databases
multi dimensional
association rules
search algorithm
training data
website
artificial intelligence