MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Confluence of Conditional Rewrite Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

On Termination and Confluence of Conditional Rewrite Systems
by Bernhard Gramlich — Proceedings of the 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Lecture Notes in Computer Science
…On Termination and Confluence of Conditional Rewrite Systems Bernhard Gramlich ? Fachbereich…
Cited by 6 (2 self) – Add To MetaCart

Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides
by Taro Suzuki, Aart Middeldorp, Tetsuo Ida — 1995 — In Proceedings of the 6th International Conference on Rewriting Techniques and Applications
…Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides Taro…
Cited by 20 (4 self) – Add To MetaCart

Proofs and Computations in Conditional Equational Theories
by G. Sivakumar, G. Sivakumar Ph. D — 1989
… 3.6 Decreasing Systems ::::::::::::::::::::::::::::::::::::: 14 4 CONFLUENCE OF CONDITIONAL REWRITE…
Cited by 6 (0 self) – Add To MetaCart

unknown title
by Ulrich Berger
… the method by removing the disjointness respectively confluence condition on rewrite systems that was imposed…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB