Categorical Concepts for Parameterized Partial Specifications.

Ingo Claßen Martin Große-Rhode Uwe Wolter

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases

conceptual models
concept learning
neural network
formal specification
delay insensitive
high level
domain ontology
categorical data
key concepts
formal concept analysis
specification language