On the Role of Category Theory in the Area of Algebraic Specification.

Hartmut Ehrig Martin Große-Rhode Uwe Wolter

Published in: COMPASS/ADT (1995)

Keyphrases

artificial intelligence
general theory
linear algebra
higher order
algebraic geometry
theoretical basis
theoretical framework
database systems
hidden markov models
high level
decision trees
conceptual model
computational models
formal specification
website
machine learning
real time
database