Modularity in Noncopying Term Rewriting
暂无分享,去创建一个
[1] Aart Middeldorp. Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms , 1989, RTA.
[2] Bernhard Gramlich,et al. Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems , 1992, LPAR.
[3] Michael J. O'Donnell,et al. Computing in systems described by equations , 1977, Lecture Notes in Computer Science.
[4] Jan Willem Klop,et al. Term rewriting systems: a tutorial , 1987 .
[5] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[6] Hendrik Pieter Barendregt,et al. Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- , 1989, RTA.
[7] Yoshihito Toyama,et al. Counterexamples to Termination for the Direct Sum of Term Rewriting Systems , 1987, Inf. Process. Lett..
[8] Ronald V. Book,et al. Formal language theory : perspectives and open problems , 1980 .
[9] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[10] Yoshihito Toyama,et al. On the Church-Rosser property for the direct sum of term rewriting systems , 1984, JACM.
[11] Detlef Plump,et al. Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems , 1990, CTRS.
[12] Detlef Plump,et al. Collapsed Tree Rewriting: Completeness, Confluence, and Modularity , 1992, CTRS.
[13] Yoshihito Toyama,et al. Completeness of Combinations of Constructor Systems , 1991, RTA.
[14] Michaël Rusinowitch,et al. On Termination of the Direct Sum of Term-Rewriting Systems , 1987, Inf. Process. Lett..
[15] Aart Middeldorp,et al. A sufficient condition for the termination of the direct sum of term rewriting systems , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[16] Enno Ohlebusch,et al. On the Modularity of Termination of Term Rewriting Systems , 1994, Theor. Comput. Sci..
[17] Zohar Manna,et al. Proving termination with multiset orderings , 1979, CACM.
[18] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[19] Marko C. J. D. van Eekelen,et al. Term Graph Rewriting , 1987, PARLE.
[20] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[21] Michael J. O'Donnell,et al. Equational Logic as a Programming Language. , 1987 .
[22] William M. Farmer,et al. Redex Capturing in Term Graph Rewriting , 1990, Int. J. Found. Comput. Sci..
[23] M. R. K. Krishna Rao. Simple Termination of Hierarchical Combinations of Term Rewriting Systems , 1994, TACS.
[24] Azuma Ohuchi,et al. 30周年記念論文 佳作:Modularity of Simple Termination of Term Rewriting Systems , 1990 .
[25] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .
[26] Bruno Courcelle,et al. Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[27] Zohar Manna,et al. Proving termination with multiset orderings , 1979, CACM.
[28] Bernhard Gramlich. Generalized Sufficient Conditions for Modular Termination of Rewriting , 1992, ALP.
[29] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.