Theoretical Computer Science, Volume 20

Volume 20, 1982

• Mitchell Wand: Specifications, Models, and Implementations of Data Abstractions. 3-32
• André Arnold, Max Dauchet: Morphismes et Bimorphismes d'Arbres. 33-93
• Werner Damm: The IO- and OI-Hierarchies. 95-207
• Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, Peter Padawitz: Algebraic Implementation of Abstract Data Types. 209-263
• G. Berry, Pierre-Louis Curien: Sequential Algorithms on Concrete Data Structures. 265-321
• Ker-I Ko, Harvey Friedman: Computational Complexity of Real Functions. 323-352