Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered.

Kazuyuki Asada Naoki Kobayashi

Published in: FSTTCS (2018)

Keyphrases

information retrieval
r tree
databases
data mining
artificial intelligence
pattern matching
tree structure
fixed point