Pages that link to "Item:Q801667"
From MaRDI portal
The following pages link to A systematic study of models of abstract data types (Q801667):
Displayed 6 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Partial abstract types (Q1169290) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- (Q3482823) (← links)
- (Q3662598) (← links)