Login / Signup
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