The uniqueness condition for the double pushout transformation of algebras (Q2486006)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The uniqueness condition for the double pushout transformation of algebras |
scientific article |
Statements
The uniqueness condition for the double pushout transformation of algebras (English)
0 references
5 August 2005
0 references
double pushout algebraic transformation
0 references
partial algebra
0 references
congruence extension property
0 references
0 references
