The following pages link to (Q3031906):
Displaying 5 items.
- On the correctness of modular systems (Q674009) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Institutions for logic programming (Q1391732) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
