Pages that link to "Item:Q1199928"
From MaRDI portal
The following pages link to A semi-algorithm for algebraic implementation proofs (Q1199928):
Displaying 8 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- (Q3971251) (← links)
- (Q4865118) (← links)
- Observational implementations (Q5096143) (← links)
- (Q5173658) (← links)
- Semialgebraic Proofs and Efficient Algorithm Design (Q5215904) (← links)
- The Alf proof editor and its proof engine (Q6083695) (← links)