Single Pushout Rewriting in Comprehensive Systems (Q5100728)
From MaRDI portal
scientific article; zbMATH DE number 7580881
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Single Pushout Rewriting in Comprehensive Systems |
scientific article; zbMATH DE number 7580881 |
Statements
Single Pushout Rewriting in Comprehensive Systems (English)
0 references
1 September 2022
0 references
single-pushout rewriting
0 references
partial morphism
0 references
category theory
0 references
hereditary pushout
0 references
upper adjoint
0 references
comprehensive system
0 references
0 references
