Partial pullback complement rewriting (Q2355683)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial pullback complement rewriting |
scientific article |
Statements
Partial pullback complement rewriting (English)
0 references
24 July 2015
0 references
(partial) pullback complement
0 references
exponential
0 references
universal mono
0 references
(pullback, double-pullback, single-pushout, double-pushout, sesqui-pushout, span, partial pullback complement) rewriting
0 references
graph transformation
0 references
