Pages that link to "Item:Q910207"
From MaRDI portal
The following pages link to Modular term rewriting systems and the termination (Q910207):
Displaying 17 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- Modular properties of conditional term rewriting systems (Q689098) (← links)
- Murg term rewrite systems (Q975468) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
- Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Completeness of combinations of constructor systems (Q5055759) (← links)
- (Q5094148) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Algebraic Methodology and Software Technology (Q5312993) (← links)
- Term Rewriting and Applications (Q5703874) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)