Infinite Trees, Markings and Well-Foundedness

Ran Rinat Nissim Francez Orna Grumberg

Published in: Inf. Comput. (1988)

Keyphrases

decision trees
tree structure
artificial intelligence
tree construction
database
databases
multiscale
data model