scientific article; zbMATH DE number 1543072

MaRDI QIDQ4520528zbMATH OpenFDO

Authors Takahito Aoto, Yoshihito Toyama

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_11/persistency_of_confluence

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Confluent persistence revisited
• Persistence and modality
• scientific article; zbMATH DE number 3348980
• Confluence and Koszulity
• Persistent magnitude
• scientific article; zbMATH DE number 2000449
• scientific article; zbMATH DE number 4024279
• Persistence in convergence and club formation
• Preservation of continuity

Cited in

(15)

• Proving Confluence of Term Rewriting Systems Automatically
• Modularity of Confluence
• Modularity in term rewriting revisited
• A confluent rewriting system having no computable, one-step, normalizing strategy
• scientific article; zbMATH DE number 1950449 (Why is no real title available?)
• Degrees of Undecidability in Term Rewriting
• Decreasing diagrams and relative termination
• Decreasing diagrams and relative termination
• Remarks on Thatte's transformation of term rewriting systems
• Deciding confluence of certain term rewriting systems in polynomial time
• Compositional confluence criteria
• Levels of undecidability in rewriting
• Labelings for decreasing diagrams
• Type removal in term rewriting
• Layer systems for proving confluence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520528)