No label defined (Q4011724)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
27 September 1992
0 references
many-sorted structure
0 references
axiom system
0 references
typed equational logic
0 references
abstract data types
0 references
error elements
0 references
TEL system
0 references
typing relation
0 references
stack algebra
0 references
