scientific article; zbMATH DE number 1543072
From MaRDI portal
Publication:4520528
zbMATH Open0960.68082MaRDI QIDQ4520528FDOQ4520528
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
Title of this publication is not available (Why is that?)
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)
- Modularity of Confluence
- Modularity in term rewriting revisited
- A confluent rewriting system having no computable, one-step, normalizing strategy
- Title not available (Why is that?)
- Degrees of Undecidability in Term Rewriting
- Decreasing diagrams and relative termination
- Decreasing diagrams and relative termination
- Title not available (Why is that?)
- Remarks on Thatte's transformation of term rewriting systems
- Deciding confluence of certain term rewriting systems in polynomial time
- Levels of undecidability in rewriting
- Labelings for decreasing diagrams
- Type removal in term rewriting
- Layer systems for proving confluence
- Proving Confluence of Term Rewriting Systems Automatically
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)
