Pages that link to "Item:Q1911401"
From MaRDI portal
The following pages link to Modular properties of composable term rewriting systems (Q1911401):
Displaying 32 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Decreasing diagrams and relative termination (Q438562) (← 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)
- Modular properties of conditional term rewriting systems (Q689098) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Deciding the word problem in the union of equational theories. (Q1400706) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (Q3454087) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- Proving Confluence of Term Rewriting Systems Automatically (Q3636821) (← links)
- The theory of vaccines (Q4571995) (← links)
- Extension orderings (Q4645205) (← links)
- Transforming termination by self-labelling (Q4647535) (← links)
- Modular aspects of properties of term rewriting systems related to normal forms (Q5055726) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Algebraic Methodology and Software Technology (Q5312993) (← links)
- Term Rewriting and Applications (Q5703874) (← links)
- Decreasing Diagrams and Relative Termination (Q5747786) (← links)
- Combinations of simplifying conditional term rewriting systems (Q5881179) (← links)
- Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
