Strong normalization of barrecursive terms without using infinite terms.

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

Keyphrases

computer vision
image processing
three dimensional
database
data sets
machine learning
decision trees
digital libraries
multiresolution
wireless sensor networks
probability distribution
background knowledge