Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic transformation of unary partial algebras. I: Double-pushout approach |
scientific article |
Statements
Algebraic transformation of unary partial algebras. I: Double-pushout approach (English)
0 references
22 July 1998
0 references
double-pushout approach
0 references
algebraic transformation
0 references
partial many-sorted unary algebras
0 references
categories
0 references
closed homomorphism
0 references
rewriting
0 references
high level replacement
0 references
0 references
0 references
