Načítá se...

Single Pushout Rewriting in Comprehensive Systems

The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. Thus, SPO’s applicability depends on the durability of pushouts after this transition. There is a wide range of work on the question when pu...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Graph Transformation
Hlavní autoři: König, Harald, Stünkel, Patrick
Médium: Artigo
Jazyk:Inglês
Vydáno: 2020
Témata:
On-line přístup:https://ncbi.nlm.nih.gov/pmc/articles/PMC7314711/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51372-6_6
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!