On Termination of Graph Rewriting
暂无分享,去创建一个
[1] Hartmut Ehrig,et al. Parallelism of Manipulations in Multidimensional Information Structures , 1976, MFCS.
[2] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..
[3] P. Seymour,et al. Surveys in combinatorics 1985: Graph minors – a survey , 1985 .
[4] Hartmut Ehrig,et al. Graph-Grammars and Their Application to Computer Science and Biology , 1978, Lecture Notes in Computer Science.
[5] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[6] Hartmut Ehrig,et al. Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.
[7] Andrea Corradini,et al. Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming , 1993, Theor. Comput. Sci..
[8] Nachum Dershowitz. Termination of Linear Rewriting Systems (Preliminary Version) , 1981, ICALP.
[9] Berthold Hoffmann,et al. Implementing term rewriting by jungle evaluation , 1991, RAIRO Theor. Informatics Appl..
[10] M. J. Plasmeijer,et al. Term graph rewriting: theory and practice , 1993 .
[11] Annegret Habel. Hypergraph Grammars: Transformational and Algorithmic Aspects , 1992, J. Inf. Process. Cybern..
[12] Marko C. J. D. van Eekelen,et al. Term Graph Rewriting , 1987, PARLE.