No label defined (Q4217944)
From MaRDI portal
scientific article; zbMATH DE number 1222421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1222421 |
Statements
29 November 1999
0 references
algebraic specifications
0 references
logical foundations of object-oriented programming
0 references
behavioural satisfiability
0 references
category theory
0 references
hidden algebras
0 references
initial algebra
0 references
