The following pages link to (Q3757375):
Displaying 7 items.
- Computability and implementability issues in abstract data types (Q1095645) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- (Q3197343) (← links)
- (Q3686016) (← links)
- (Q3687690) (← links)
- Deterministic and nondeterministic computation, and horn programs, on abstract data types (Q3992226) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)