The following pages link to (Q2722029):
Displaying 6 items.
- Incomplete symbols -- definite descriptions revisited (Q253123) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)