Pages that link to "Item:Q909448"
From MaRDI portal
The following pages link to Parametrization for order-sorted algebraic specification (Q909448):
Displaying 10 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)
- Homomorphism preserving algebraic specifications require hidden sorts (Q1893731) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q3707388) (← links)
- Higher-order order-sorted algebras (Q5096189) (← links)
- Unique-sort order-sorted theories : A description as monad morphisms (Q5881299) (← links)