A carregar...

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Graph Transformation
Main Authors: König, Harald, Stünkel, Patrick
Formato: Artigo
Idioma:Inglês
Publicado em: 2020
Assuntos:
Acesso em linha:https://ncbi.nlm.nih.gov/pmc/articles/PMC7314711/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51372-6_6
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!