On the "lambda"-definable tree operations.

Published in: Algebraic Logic and Universal Algebra in Computer Science (1988)

Keyphrases

boolean operations
tree structure
binary tree
r tree
database
real time
databases
artificial intelligence
information systems
search algorithm
index structure
fixed point
b tree
graph structure
tree search
tree models