Theoretical Computer Science, Volume 20

Volume 20, 1982

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