A Categorical Treatment of Pre- and Post-Conditions.

Published in: Theor. Comput. Sci. (1987)

Keyphrases

sufficient conditions
information retrieval
real time
search algorithm
neural network
real world
three dimensional
relational databases
multiresolution
attribute values
categorical data