Author:
Hoffmann Berthold,Plump Detlef
Subject
Computer Science Applications,General Mathematics,Software
Reference17 articles.
1. [BvEG*87] BARENDREGT H. P., VAN EEKELEN M. C. J. D., GLAUERT J. R. W., KENNAWAY J. R., PLASMEIJER M. J. and SLEEP M. R., Term Graph Rewriting, Proc, PARLE, Lecture Notes in Comp. Sci., 1987, 259, pp. 141-158.
2. [DJ90] DERSHOWITZ N. and JOUANNAUD J.-P., Rewrite Systems, Handbook of Theoretical Computer Science, Vol. B, chapter 15, North Holland, 1990.11271910900.68283
3. [DM79] DERSHOWITZ N. and MANNA Z., Proving Termination with Multiset Orderings, Comm. ACM, 1979, 22, (8), pp. 465-476.5400430431.68016
4. [Ehr79] EHRIG H., Introduction to the Algebraic Theory of Graph Grammars, Proc. 1st Graph Grammar Workshop, Lecture Notes in Comp. Sci., 1979, 73, pp. 1-69.5650340407.68072
5. [Ehr83] EHRIG H., Aspects of Concurrency in Graph Grammars, Proc. 2nd Graph Grammar Workshop, Lecture Notes in Comp. Sci., 1983, 153, pp. 58-81.0522.68070
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献