Pages that link to "Item:Q5881283"
From MaRDI portal
The following pages link to On sufficient completeness of conditional specifications (Q5881283):
Displaying 4 items.
- Sufficient completeness verification for conditional and constrained TRS (Q420848) (← links)
- Term Rewriting and Applications (Q5703846) (← links)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)
- A proof system for conditional algebraic specifications (Q5881266) (← links)