Pages that link to "Item:Q673184"
From MaRDI portal
The following pages link to Free objects and equational deduction for partial conditional specifications (Q673184):
Displayed 4 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Non-strict don't care algebras and specifications (Q4882494) (← links)