The following pages link to (Q3208066):
Displayed 8 items.
- Implementation of data types by algebraic methods (Q792753) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Partial abstract types (Q1169290) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
- Recursive unary algebras and trees (Q1326781) (← links)