W. Kuchlin. A confluence criterion based on the generalized Newman lemma. In B. Caviness, editor, Proc. EUROCAL'85, volume 204 of Lecture Notes in Computer Science, pages 390--399. Springer-Verlag, 1985.  Home/Search   Document Not in Database   Summary   Related Articles

....critical pairs (cf. Definition 4.8) Actually, the idea behind parallel critical pairs is not completely new. Implicitly, parallel critical pairs or, more precisely, parallel critical peaks are at the heart of so called critical pair criteria for completion of terminating TRSs (cf. WB86] [Kuc85], KMN88] BD88] where certain (ordinary) critical pairs can be ignored during completion since they are redundant. The rest of the paper is structured as follows. After introducing the necessary terminology, we present in Section 3 the known related results, give an example where none of the ....

W. Kuchlin. A confluence criterion based on the generalized Newman lemma. In B. Caviness, editor, Proc. EUROCAL'85, volume 204 of Lecture Notes in Computer Science, pages 390--399. Springer-Verlag, 1985.

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