On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
From MaRDI portal
(Redirected from Publication:671506)
Recommendations
- Confluence of terminating conditional rewrite systems revisited
- scientific article; zbMATH DE number 1761895
- Confluence of the disjoint union of conditional term rewriting systems
- scientific article; zbMATH DE number 1456966
- Conditions for confluence of innermost terminating term rewriting systems
- scientific article; zbMATH DE number 794237
- Some results on the confluence property of combined term rewriting systems
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- scientific article; zbMATH DE number 1615229
- scientific article; zbMATH DE number 4092756
Cites work
- scientific article; zbMATH DE number 4180808 (Why is no real title available?)
- scientific article; zbMATH DE number 4090848 (Why is no real title available?)
- scientific article; zbMATH DE number 4092758 (Why is no real title available?)
- scientific article; zbMATH DE number 108365 (Why is no real title available?)
- scientific article; zbMATH DE number 1324443 (Why is no real title available?)
- scientific article; zbMATH DE number 1354152 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1479616 (Why is no real title available?)
- scientific article; zbMATH DE number 1761895 (Why is no real title available?)
- scientific article; zbMATH DE number 794237 (Why is no real title available?)
- scientific article; zbMATH DE number 1456966 (Why is no real title available?)
- Completeness of combinations of conditional constructor systems
- Completeness of combinations of constructor systems
- Computing in systems described by equations
- Conditional rewrite rules
- Conditional rewrite rules: Confluence and termination
- Counterexamples to termination for the direct sum of term rewriting systems
- Generalized sufficient conditions for modular termination of rewriting
- Modular properties of composable term rewriting systems
- Modular properties of conditional term rewriting systems
- Modularity of confluence: A simplified proof
- Modularity of simple termination of term rewriting systems with shared constructors
- On termination of the direct sum of term-rewriting systems
- On the Church-Rosser property for the direct sum of term rewriting systems
- On the modularity of termination of term rewriting systems
- Sufficient conditions for modular termination of conditional term rewriting systems
- Termination for direct sums of left-linear complete term rewriting systems
- Tree-Manipulating Systems and Church-Rosser Theorems
Cited in
(20)- Perpetuality and uniform normalization in orthogonal rewrite systems
- Modularity in term rewriting revisited
- Modularity of simple termination of term rewriting systems with shared constructors
- Generalized sufficient conditions for modular termination of rewriting
- On the modularity of termination of term rewriting systems
- Completeness of combinations of conditional constructor systems
- Proving weak properties of rewriting
- On the confluence of lambda-calculus with conditional rewriting
- Decreasing diagrams and relative termination
- Decreasing diagrams and relative termination
- Perpetual reductions in -calculus
- On the longest perpetual reductions in orthogonal expression reduction systems
- Unions of non-disjoint theories and combinations of satisfiability procedures
- On proving termination by innermost termination
- Mechanizing and improving dependency pairs
- Confluence of terminating conditional rewrite systems revisited
- scientific article; zbMATH DE number 1761895 (Why is no real title available?)
- scientific article; zbMATH DE number 794237 (Why is no real title available?)
- Confluence of the disjoint union of conditional term rewriting systems
- A uniform framework for term and graph rewriting applied to combined systems
This page was built for publication: On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671506)
