Pages that link to "Item:Q428861"
From MaRDI portal
The following pages link to An axiomatic approach to structuring specifications (Q428861):
Displaying 6 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
