Pages that link to "Item:Q1252032"
From MaRDI portal
The following pages link to Data types, abstract data types and their specification problem (Q1252032):
Displaying 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- A second order theory of data types (Q1092657) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
