A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.

Arnold Beckmann

Published in: Arch. Math. Log. (2002)

Keyphrases

expert systems
tree structure
tree construction
neural network
information retrieval
information systems
case study
worst case
tree structures
tree mining