Pages that link to "Item:Q1111364"
From MaRDI portal
The following pages link to The equational theory of parameterized specifications (Q1111364):
Displaying 6 items.
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Specification of parameterized programs -- persistency revisited (Q2765922) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- (Q4362899) (← links)
- (Q4703884) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)