Login / Signup
Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.
Hartmut Ehrig
Michael Baldamus
Fernando Orejas
Published in:
Bull. EATCS (1991)
Keyphrases
</>
main contribution
theoretical framework
expressive power
conceptual framework
database
multiscale
real world
learning algorithm
expert systems
data model
formal specification