Undecidability of the Free Adjoint Construction.

R. J. Mac Dawson R. Paré D. A. Pronk

Published in: Appl. Categorical Struct. (2003)

Keyphrases

optimal control
digital libraries
multiscale
construction process
description logics
data sets
real world
image processing
clustering algorithm
expert systems
relational databases