The following pages link to Diagrammatic specifications (Q4811557):
Displaying 8 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Logical rules as fractions and logics as sketches (Q2198320) (← links)
- A diagrammatic logic for object-oriented visual modeling (Q2864376) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- (Q4222940) (← links)
- (Q4251214) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)