Higher-order subtyping and its decidability.

Adriana B. Compagnoni

Published in: Inf. Comput. (2004)

Keyphrases

higher order
description logics
natural images
high order
pairwise
query answering
low order
markov models
lower order
conditional random fields
markov random field
type checking
expressive power
lambda calculus
decision procedures
computational properties
database
relational databases
search algorithm
data sets