Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems (1993)

Cached

Download Links

by Bernhard Gramlich
Citations:27 - 5 self

Documents Related by Co-Citation

550 Term Rewriting Systems – J. W. Klop - 1992
723 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
46 Modularity of simple termination of term rewriting systems – Masahito Kurihara, Azuma Ohuchi - 1990
35 A sufficient condition for the termination of the direct sum of term rewriting systems – A Middeldorp - 1989
82 Natural termination – Nachum Dershowitz, Charles Hoot
60 Modular Properties of Term Rewriting Systems – Aart Middeldorp - 1990
49 Generalized Sufficient Conditions for Modular Termination of Rewriting – Bernhard Gramlich - 1992
70 On the Church-Rosser property for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
28 Termination for the direct sum of left-linear term rewriting systems – Y Toyama, J Klop, H Barendregt - 1989
31 Completeness of Combinations of Constructor Systems – Aart Middeldorp, Yoshihito Toyama - 1993
49 On termination of the direct sum of term rewriting systems – Michaël Rusinowitch - 1987
83 Counterexamples to termination for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
340 Confluent reductions: Abstract properties and applications to term rewriting systems – G Huet - 1980
13 Sufficient Conditions for Modular Termination of Conditional Term Rewriting Systems – Bernhard Gramlich - 1993
29 On the Modularity of Termination of Term Rewriting Systems – Enno Ohlebusch - 1993
15 Completeness of hierarchical combinations of term rewriting systems – K Rao
432 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
67 Tree-manipulating systems and Church-Rosser theorems – Barry K Rosen - 1973
23 Modular properties of conditional term rewriting systems – A Middeldorp - 1993