Pages that link to "Item:Q1108785"
From MaRDI portal
The following pages link to On termination of the direct sum of term-rewriting systems (Q1108785):
Displaying 23 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Intersection type assignment systems with higher-order algebraic rewriting (Q672048) (← links)
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Modular term rewriting systems and the termination (Q910207) (← links)
- Overlap closures do not suffice for termination of general term rewriting systems (Q922713) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Modular termination of prefix-constrained term rewrite systems (Q2059889) (← links)
- The conflict-free reduction geometry (Q2581368) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- The theory of vaccines (Q4571995) (← links)
- Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300) (← links)
- Extension orderings (Q4645205) (← links)
