Pages that link to "Item:Q909448"
From MaRDI portal
The following pages link to Parametrization for order-sorted algebraic specification (Q909448):
Displayed 4 items.
- Semantics of order-sorted specifications (Q1185014) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)