On modularity of termination and confluence properties of conditional rewrite systems
From MaRDI portal
Recommendations
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Modular properties of conditional term rewriting systems
- scientific article; zbMATH DE number 794237
- Sufficient conditions for modular termination of conditional term rewriting systems
- Modular properties of composable term rewriting systems
Cited in
(15)- Generalized sufficient conditions for modular termination of rewriting
- Equational rules for rewriting logic
- Modular properties of composable term rewriting systems
- Conditions for confluence of innermost terminating term rewriting systems
- On quasi-reductive and quasi-simplifying deterministic conditional rewrite systems
- Modularity of Convergence in Infinitary Rewriting
- Modularity of termination and confluence in combinations of rewrite systems with _
- scientific article; zbMATH DE number 794237 (Why is no real title available?)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- On proving termination by innermost termination
- Confluence of terminating conditional rewrite systems revisited
- Sufficient conditions for modular termination of conditional term rewriting systems
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Strict coherence of conditional rewriting modulo axioms
- Modular properties of conditional term rewriting systems
This page was built for publication: On modularity of termination and confluence properties of conditional rewrite systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4537514)
