Categorical concepts for parameterized partial specifications (Q4856659)
From MaRDI portal
scientific article; zbMATH DE number 822787
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical concepts for parameterized partial specifications |
scientific article; zbMATH DE number 822787 |
Statements
Categorical concepts for parameterized partial specifications (English)
0 references
30 March 1999
0 references
deduction calculus
0 references
conditional existence equations of algebras
0 references
semantics of modular specification languages
0 references
partial algebras
0 references
liberal institution
0 references
amalgamation property
0 references
