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