Pages that link to "Item:Q5881187"
From MaRDI portal
The following pages link to Semantics for positive/negative conditional rewrite systems (Q5881187):
Displaying 6 items.
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- (Q3795208) (← links)
- (Q3817657) (← 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)