Omitting Types, Type Spectrums, and Decidability.

Terrence Millar

Published in: J. Symb. Log. (1983)

Keyphrases

type checking
multiple types
real world
real time
preprocessing
description logics
learning algorithm
image processing
data structure
probabilistic model