Partial pullback complement rewriting (Q2355683): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4693062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sesqui-Pushout Rewriting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exponentiable morphisms, partial products and pullback complements / rank
 
Normal rank
Property / cites work
 
Property / cites work: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adhesivity with Partial Maps instead of Spans / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal monos in partial morphism categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037323 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adhesive and quasiadhesive categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toposes Are Adhesive / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic approach to single-pushout graph transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph Rewriting in Span-Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pullback in partial morphism categories / rank
 
Normal rank

Latest revision as of 14:00, 10 July 2024

scientific article
Language Label Description Also known as
English
Partial pullback complement rewriting
scientific article

    Statements

    Partial pullback complement rewriting (English)
    0 references
    0 references
    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

    Identifiers