The following pages link to (Q3345753):
Displayed 7 items.
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)