Pages that link to "Item:Q2445331"
From MaRDI portal
The following pages link to Comorphisms of structured institutions (Q2445331):
Displaying 6 items.
- On the existence of translations of structured specifications (Q458375) (← links)
- Institution morphisms (Q699929) (← links)
- Structured theories and institutions (Q1884906) (← links)
- (Q4250370) (← links)
- Algebraic Methodology and Software Technology (Q5313012) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)