The following pages link to (Q4737121):
Displayed 4 items.
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)