scientific article; zbMATH DE number 1543072
From MaRDI portal
Publication:4520528
zbMath0960.68082MaRDI QIDQ4520528
Yoshihito Toyama, Takahito Aoto
Publication date: 26 February 2001
Full work available at URL: http://www.jucs.org/jucs_3_11/persistency_of_confluence
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Deciding confluence of certain term rewriting systems in polynomial time ⋮ A Confluent Rewriting System Having No Computable, One-Step, Normalizing Strategy ⋮ Layer Systems for Proving Confluence ⋮ Modularity in term rewriting revisited ⋮ Levels of undecidability in rewriting ⋮ Decreasing diagrams and relative termination ⋮ Unnamed Item ⋮ Modularity of Confluence ⋮ Remarks on Thatte's transformation of term rewriting systems ⋮ Decreasing Diagrams and Relative Termination ⋮ Proving Confluence of Term Rewriting Systems Automatically ⋮ Degrees of Undecidability in Term Rewriting ⋮ Labelings for decreasing diagrams
This page was built for publication: