The following pages link to (Q3817657):
Displaying 13 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Conditional linearization (Q698633) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Conditional rewrite rules (Q1065790) (← links)
- Conditional rewrite rules: Confluence and termination (Q1111368) (← links)
- A constructor-based approach to positive/negative-conditional equational specifications (Q1332337) (← links)
- (Q3795208) (← links)
- Priority rewriting: Semantics, confluence, and conditionals (Q5055727) (← links)
- Negation with logical variables in conditional rewriting (Q5055728) (← links)
- On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
- A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)
- Semantics for positive/negative conditional rewrite systems (Q5881187) (← links)
- Equivalences of rewrite programs (Q5881268) (← links)