Bergstra, J. A.; Tucker, J. V. Algebraic specifications of computable and semicomputable data structures. (English) Zbl 0419.68029 Math. Cent., Amst., Afd. Toegepaste Wiskd. IW115/79, 24 P. (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 11 Documents MSC: 68P05 Data structures 03D45 Theory of numerations, effectively presented structures 03D80 Applications of computability and recursion theory Keywords:abstract data structures; algebraic specification; hidden functions; hidden sorts; computable and semicomputable algebras × Cite Format Result Cite Review PDF