M.Oyamaguchi and Y.Toyama, On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's , Research Reports of the Faculty of Engineering, Mie Univ. , 20, pp. 99-118 (1995). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Confluence without Termination via Parallel Critical Pairs - Gramlich (1996) (3 citations) (Correct)
....illuminating examples and other related work are discussed in Section 5. Finally we conclude by discussing directions for further extending and generalizing our approach. 1 Some interesting efforts for isolating the essence of the source of non confluence in this case are described e.g. in [OT94], TO95] A decidable sufficient (syntactic) condition for confluence of nonleft linear, non terminating TRSs is given in [TO95] 2 Preliminaries We assume familiarity with the basic theory of abstract reduction systems as well as of the special case of term rewriting systems. For ....
M. Oyamaguchi and Y. Toyama. On the Church-Rosser property of Eoverlapping and simple-right-linear TRS's. Technical Report COMP94-29 (1994-07), IEICE, 1994.
Confluence without Termination via Parallel Critical Pairs - Gramlich (1996) (3 citations) (Correct)
....use of the above mentioned particular joinability properties of (ordinary) critical pairs. This research was supported by Deutsche Forschungsgemeinschaft, SFB 314 D4 . 2 Some interesting efforts for isolating the essence of the source of non confluence in this case are described e.g. in [10], 15] A decidable sufficient (syntactic) condition for confluence of non left linear, non terminating TRSs is given in [15] Our main new (and quite natural) idea now is that in order to ensure strong confluence of parallel reduction, one may also define and investigate the corresponding ....
M. Oyamaguchi and Y. Toyama. On the Church-Rosser property of E-overlapping and simple-right-linear TRS's. Tech. Rep. COMP94-29 (1994-07), IEICE, 1994.
A New Parallel Closed Condition for Church-Rosser of.. - Oyamaguchi, Ohta (1997) (2 citations) Self-citation (Oyamaguchi) (Correct)
No context found.
M.Oyamaguchi and Y.Toyama, On the Church-Rosser Property of E-overlapping and Simple-Right-Linear TRS's , Research Reports of the Faculty of Engineering, Mie Univ. , 20, pp. 99-118 (1995).
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