Bernhard Gramlich (1994). On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. 4 th ALP 1994, LNCS 850, pp. 186-203, Springer-Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Syntactic Confluence Criteria for Positive/Negative-Conditional.. - Wirth (1995) (3 citations) (Correct)
.... u n w w w w w w w 20 It should be noted that the fact that the parallel reduction can be restricted not only to non variable positions of t but also to the same identical redex ( t=p)oe (and the necessity of the analogous restriction in the proof) was especially brought to our attention by Bernhard Gramlich (cf. Gramlich (1995b) who already had similar but less general ideas on the weakening of overlay joinability. 28 It is rather easy to see that ST quasi overlay joinability of a critical peak generalizes the old notion of quasi overlay joinability: In case that Delta = For quasi overlay ....
....as can be seen from the following examples: 22 The only obvious wrong intuitions it could rise are either meaningless (since the transitive closures of reduction and parallel reduction are always identical) or an unnecessary sharpening of our notion. 45 Example 61 (Aart Middeldorp, modified by Bernhard Gramlich) ffi 1 ffi ffi 1; 1 = ffi 2 Anti Closed Strongly Joinable Not Level Joinable Not Shallow Joinable Not [ ST Quasi] Overlay Joinable Left Linear Right Linear [Quasi ] Normal Terminating Not Decreasing C : fa; cg N : ff; gg R 61 : a = c f(a) g(a) g(X) ....
Bernhard Gramlich (1994). On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. 4 th ALP 1994, LNCS 850, pp. 186-203, Springer-Verlag.
Syntactic Confluence Criteria for Positive/Negative-Conditional.. - Wirth (1995) (3 citations) (Correct)
.... u n w w w w w w w 20 It should be noted that the fact that the parallel reduction can be restricted not only to non variable positions of t but also to the same identical redex ( t=p)oe (and the necessity of the analogous restriction in the proof) was especially brought to our attention by Bernhard Gramlich (cf. Gramlich (1995b) who already had similar but less general ideas on the weakening of overlay joinability. 28 It is rather easy to see that ST quasi overlay joinability of a critical peak generalizes the old notion of quasi overlay joinability: In case that Delta = For quasi overlay ....
....as can be seen from the following examples: 22 The only obvious wrong intuitions it could rise are either meaningless (since the transitive closures of reduction and parallel reduction are always identical) or an unnecessary sharpening of our notion. 45 Example 61 (Aart Middeldorp, modified by Bernhard Gramlich) ffi 1 ffi ffi 1; 1 = ffi 2 Anti Closed Strongly Joinable Not Level Joinable Not Shallow Joinable Not [ ST Quasi] Overlay Joinable Left Linear Right Linear [Quasi ] Normal Noetherian Not Decreasing C : fa; cg N : ff; gg R 61 : a = c f(a) g(a) g(X) ....
Bernhard Gramlich (1994). On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. 4 th ALP 1994, LNCS 850, pp. 186-203, Springer-Verlag.
Modular Properties of Composable Term Rewriting Systems - Ohlebusch (1995) (40 citations) (Correct)
No context found.
Gramlich, B. (1994c). On modularity of termination and confluence properties of conditional rewrite systems. In Proceedings of the 4th International Conference on Algebraic and Logic Programming, 186--203. Lecture Notes in Computer Science 850, Berlin: Springer Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC