The following pages link to (Q3795208):
Displaying 8 items.
- Comparison of functional and predicative query paradigms (Q676417) (← links)
- Conditional linearization (Q698633) (← links)
- A constructor-based approach to positive/negative-conditional equational specifications (Q1332337) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- (Q3817657) (← links)
- Negation with logical variables in conditional rewriting (Q5055728) (← links)
- A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)
- Semantics for positive/negative conditional rewrite systems (Q5881187) (← links)