First-order tree-to-tree functions.

Mikolaj Bojanczyk Amina Doumane

Published in: LICS (2020)

Keyphrases

tree structure
binary tree
learning algorithm
database
information retrieval
genetic algorithm
higher order
b tree
tree nodes
multi valued
tree structures
graph structure
quadtree
first order logic
expert systems
case study
website
information systems
artificial intelligence
data sets