Simplification Orders for Term Graph Rewriting
暂无分享,去创建一个
[1] D. Plaisted. Equational reasoning and term rewriting systems , 1993 .
[2] Joachim Steinbach,et al. Simplification Orderings: Histrory of Results , 1995, Fundam. Informaticae.
[3] Hans Zantema,et al. Simple Termination Revisited , 1994, CADE.
[4] Andrea Corradini,et al. Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming , 1993, Theor. Comput. Sci..
[5] M. J. Plasmeijer,et al. Term graph rewriting: theory and practice , 1993 .
[6] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[7] J. Kruskal. Well-quasi-ordering, the Tree Theorem, and Vazsonyi’s conjecture , 1960 .
[8] Graham Higman,et al. Ordering by Divisibility in Abstract Algebras , 1952 .
[9] C. Nash-Williams. On well-quasi-ordering infinite trees , 1963, Mathematical Proceedings of the Cambridge Philosophical Society.
[10] Zohar Manna,et al. Proving termination with multiset orderings , 1979, CACM.
[11] Berthold Hoffmann,et al. Implementing term rewriting by jungle evaluation , 1991, RAIRO Theor. Informatics Appl..
[12] Nachum Dershowitz,et al. Orderings for term-rewriting systems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[13] Zena M. Ariola,et al. Equational Term Graph Rewriting , 1996, Fundam. Informaticae.
[14] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.
[15] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..
[16] Detlef Plump,et al. Collapsed Tree Rewriting: Completeness, Confluence, and Modularity , 1992, CTRS.
[17] Jan Willem Klop,et al. On the adequacy of graph rewriting for simulating term rewriting , 1994, TOPL.