The following pages link to (Q3817653):
Displaying 25 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- (Q3819993) (← links)
- Local Confluence for Rules with Nested Application Conditions (Q4931325) (← links)
- Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
- Conditional rewrite rule systems with built-in arithmetic and induction (Q5055742) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)
- On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
- (Q5277883) (← links)
- Term Rewriting and Applications (Q5703842) (← links)
- A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)
- Extended term rewriting systems (Q5881265) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Proof by consistency in conditional equational theories (Q5881278) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
