Generalized Sufficient Conditions for Modular Termination of Rewriting (1992)

by Bernhard Gramlich
Venue:IN ENGINEERING, COMMUNICATION AND COMPUTING
Citations:51 - 7 self

Documents Related by Co-Citation

578 Term Rewriting Systems – J. W. Klop - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
86 Counterexamples to terminating for the direct sum of term rewriting systems – Yoshihito Toyama - 1986
48 Modularity of simple termination of term rewriting systems – M Kurihara, A Ohuchi - 1990
31 Completeness of Combinations of Constructor Systems – Aart Middeldorp, Yoshihito Toyama - 1993
65 Modular Properties of Term Rewriting Systems – A Middeldorp - 1990
50 On termination of the direct sum of term rewriting systems – MichaĆ«l Rusinowitch - 1987
31 Termination for the Direct Sum of Left. Linear Term Rewriting Systems – Y Toyama, J W Klop, H P Barendregt - 1989