Coherence of subsumption for monadic types.

Jan Schwinghammer

Published in: J. Funct. Program. (2009)

Keyphrases

data sets
description logics
np complete
transitive closure
real time
real world
case study
database systems
similarity measure