Author:
Corradini Andrea,Wolz Dietmar
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, M. Löwe. Logic Programming and Graph Grammars. [EKR 91], pp. 221–237.
2. A. Corradini, F. Rossi. Hyperedge Replacement Jungle Rewriting for Term Rewriting Systems and Logic Programming. Theoretical Computer Science, 109, 1993, pp. 7–48.
3. N. Dershowitz, J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science (ed. J. van Leeuwen), Vol. B, North Holland, 1990, pp. 243–320.
4. H. Eertink, D. Wolz. Symbolic Execution of LOTOS Specifications. IFIP Transactions, Formal Description Techniques V, North-Holland, 1992.
5. H. Ehrig. Tutorial introduction to the algebraic approach of graph-grammars. [ENRR87], pp. 3–14.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Solving Equations by Graph Transformation;Electronic Notes in Theoretical Computer Science;2002-05
2. Term graph narrowing;Mathematical Structures in Computer Science;1996-12
3. Unification, Rewriting, and Narrowing on Term Graphs;Electronic Notes in Theoretical Computer Science;1995