×

Algebraic specifications of computable and semicomputable data structures. (English) Zbl 0419.68029

Math. Cent., Amst., Afd. Toegepaste Wiskd. IW115/79, 24 P. (1979).

MSC:

68P05 Data structures
03D45 Theory of numerations, effectively presented structures
03D80 Applications of computability and recursion theory