No label defined (Q4288283)
From MaRDI portal
scientific article; zbMATH DE number 554481
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 554481 |
Statements
3 November 1994
0 references
set-theoretic specification
0 references
recursion over structures
0 references
model-theoretic semantics of specification languages
0 references
fragment of set theory
0 references
algebraic specification
0 references
left adjoints
0 references
