Pages that link to "Item:Q1332337"
From MaRDI portal
The following pages link to A constructor-based approach to positive/negative-conditional equational specifications (Q1332337):
Displaying 4 items.
- A series of revisions of David Poole's specificity (Q524933) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
- A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)