No label defined (Q3346382)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1984
0 references
partial algebras
0 references
computer science
0 references
structural induction
0 references
finite algebraic theory
0 references
equationally partial algebras
0 references
term equations
0 references
parameterized abstract data types
0 references
partial operations
0 references
functional enrichments
0 references
many-sorted algebras
0 references
hierarchy conditions
0 references
hierarchical equationally partial varieties
0 references
hep-quasi-varieties
0 references
small categories
0 references
free sums of partial algebras
0 references
colimits
0 references
equoids
0 references
models of canons
0 references
abstract algorithm over a parameterized abstract data type
0 references
