Pages that link to "Item:Q689098"
From MaRDI portal
The following pages link to Modular properties of conditional term rewriting systems (Q689098):
Displaying 25 items.
- Uncurrying for termination and complexity (Q352959) (← links)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Termination is not modular for confluent variable-preserving term rewriting systems (Q674186) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Decidable call-by-need computations in term rewriting (Q1763429) (← links)
- Total termination of term rewriting (Q1912706) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- (Q4553285) (← links)
- The theory of vaccines (Q4571995) (← links)
- Extension orderings (Q4645205) (← links)
- Modular properties of algebraic type systems (Q4645803) (← links)
- More problems in rewriting (Q5055812) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
