The following pages link to C. Oriat (Q1583246):
Displayed 6 items.
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Detecting isomorphisms of modular specifications with diagrams (Q5096385) (← links)
- A model inference system for generic specification with application to code sharing (Q5096762) (← links)