Decidability Properties of Recursive Types.

Felice Cardone Mario Coppo

Published in: ICTCS (2003)

Keyphrases

multiscale
expert systems
data model
database
data sets
information retrieval
computer vision
case study
similarity measure
data structure
hidden markov models
description logics
expressive power
query answering
desirable properties