Pages that link to "Item:Q689098"

The following pages link to Modular properties of conditional term rewriting systems (Q689098):

Displaying 37 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)
• On the modularity of normal forms in rewriting (Q674762) (← links)
• Conditional linearization (Q698633) (← links)
• Bubbles in modularity (Q1127335) (← links)
• Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings (Q1189444) (← 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)
• Some results on the confluence property of combined term rewriting systems (Q1337642) (← 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)
• Modular properties of composable term rewriting systems (Q1911401) (← links)
• Total termination of term rewriting (Q1912706) (← links)
• Modularity in term rewriting revisited (Q1929227) (← links)
• On modularity in infinitary term rewriting (Q2496298) (← links)
• Church-Rosser property for conditional rewriting systems with built-in predicates as premises (Q2782478) (← links)
• Advanced topics in term rewriting (Q2783416) (← links)
• (Q4553285) (← links)
• The theory of vaccines (Q4571995) (← links)
• Extension orderings (Q4645205) (← links)
• Modular properties of algebraic type systems (Q4645803) (← links)
• Modular aspects of properties of term rewriting systems related to normal forms (Q5055726) (← links)
• More problems in rewriting (Q5055812) (← links)
• On modularity in term rewriting and narrowing (Q5096311) (← links)
• Combinations of simplifying conditional term rewriting systems (Q5881179) (← links)
• Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180) (← links)
• Confluence of terminating membership conditional TRS (Q5881201) (← links)
• Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
• Proving confluence in the confluence framework with confident (Q6622001) (← links)