Categorical principles, techniques and results for high-level-replacement systems in computer science-Reference-Cited by-同舟云学术

Categorical principles, techniques and results for high-level-replacement systems in computer science

Published:1993 Issue:1 Volume:1 Page:21-50
ISSN:0927-2852
Container-title:Applied Categorical Structures
language:en
Short-container-title:Appl Categor Struct

Author:

Ehrig Hartmut,L�we Michael

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science,Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF00872984.pdf

Reference33 articles.

1. J. Adamek, H. Herrlich, and G. Strecker: 1990,Abstract and Concrete Categories, Wiley Interscience.

2. M. Beyer, H. Ehrig, and M. L�we (eds.): 1992,Computing by Graph Transformation (COMPUGRAPH) ? Survey, Results, and Application, Booklet for the presentation of ESPRIT BR WG No. 3299 at CeBIT fair, Hannover.

3. P. Boehm, H. Fonio, and A. Habel: 1987, ?Amalgamation of graph transformations: A synchronization mechanism?,JCSS 34, 307?408.

4. P.M. van den Broek: 1991,Algebraic Graph Rewriting Using a Single Pushout, International Joint Conf. on Theory and Practice of Software Development 1991 (TAPSOFT'91), LNCS 493, pp. 90?102.

5. A. Corradini, H. Ehrig, M. L�we, U. Montanari, and F. Rossi: 1992, ?Note on Standard Representation of Graphs and Graph Derivations?, Technical Report TU Berlin, FB 20, No. 92?25.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Single pushout rewriting in comprehensive systems of graph-like structures;Theoretical Computer Science;2021-09

2. Adhesivity with Partial Maps instead of Spans;Fundamenta Informaticae;2012

3. Hereditary Pushouts Reconsidered;Lecture Notes in Computer Science;2010

4. Sesqui-Pushout Rewriting;Lecture Notes in Computer Science;2006

5. The uniqueness condition for the double pushout transformation of algebras;Information Sciences;2005-03-04