Two-Categorical Specification of Partial Algebras.

Martin Große-Rhode Uwe Wolter

Published in: COMPASS/ADT (1992)

Keyphrases

categorical data
multi agent
spatial reasoning
specification language
website
attribute values
data sets
case study
bayesian networks
formal verification