Modular properties of conditional term rewriting systems
From MaRDI portal
Publication:689098
Recommendations
- Modular properties of composable term rewriting systems
- scientific article; zbMATH DE number 1761895
- Sufficient conditions for modular termination of conditional term rewriting systems
- Modularity in term rewriting revisited
- Modular aspects of properties of term rewriting systems related to normal forms
- Modular term rewriting systems and the termination
- On the modularity of termination of term rewriting systems
- On modularity in term rewriting and narrowing
- Determinization of conditional term rewriting systems
- Generalized sufficient conditions for modular termination of rewriting
Cited in
(38)- Sequentiality in orthogonal term rewriting systems
- Proving confluence in the confluence framework with confident
- Confluence of terminating membership conditional TRS
- Local confluence of conditional and generalized term rewriting systems
- On modularity in infinitary term rewriting
- On the modularity of termination of term rewriting systems
- Combinatory reduction systems: Introduction and survey
- scientific article; zbMATH DE number 1761895 (Why is no real title available?)
- More problems in rewriting
- Church-Rosser property for conditional rewriting systems with built-in predicates as premises
- Modular aspects of properties of term rewriting systems related to normal forms
- Completeness results for basic narrowing
- Modular termination of \(r\)-consistent and left-linear term rewriting systems
- Modularity in noncopying term rewriting
- Decidable call-by-need computations in term rewriting
- Termination is not modular for confluent variable-preserving term rewriting systems
- The theory of vaccines
- Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
- Sufficient conditions for modular termination of conditional term rewriting systems
- Combinations of simplifying conditional term rewriting systems
- Bubbles in modularity
- Deciding confluence and normal form properties of ground term rewrite systems efficiently
- scientific article; zbMATH DE number 4092756 (Why is no real title available?)
- On modularity in term rewriting and narrowing
- Modular proofs for completeness of hierarchical term rewriting systems
- Total termination of term rewriting
- Extension orderings
- scientific article; zbMATH DE number 1729952 (Why is no real title available?)
- Uncurrying for termination and complexity
- Modular Church-Rosser Modulo
- Conditional linearization
- Decidability of reachability for disjoint union of term rewriting systems
- Modular properties of algebraic type systems
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Modularity in term rewriting revisited
- Modular aspects of term graph rewriting
- Generalized sufficient conditions for modular termination of rewriting
- Some results on the confluence property of combined term rewriting systems
This page was built for publication: Modular properties of conditional term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689098)
