Abstract Graph Derivations in the Double Pushout Approach

Abstract Graph Derivations in the Double Pushout Approach
复制标题

双推出方法中的抽象图推导

DOI：
--
复制
发表时间：
1993
期刊：
Dagstuhl Seminar on Graph Transformations in Computer Science
影响因子：
--
通讯作者：
F. Rossi
F. Rossi
中科院分区：
--
文献类型：
--
作者：
A. Corradini;H. Ehrig;M. Löwe;U. Montanari;F. Rossi

文献摘要

被引文献

相似文献

在图文法的代数理论中，通常的做法是提出一些“直至同构”的概念或结果。这使得人们可以推理图和图推导，而无需担心与表示相关的细节。
In the algebraic theory of graph grammars, it is common practice to present some notions or results “up to isomorphism”. This allows one to reason about graphs and graph derivations without worrying about representation-dependent details.