Pages that link to "Item:Q5881186"
From MaRDI portal
The following pages link to A constructor-based approach for positive/negative-conditional equational specifications (Q5881186):
Displaying 4 items.
- A constructor-based approach to positive/negative-conditional equational specifications (Q1332337) (← 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)