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
  

Last update Thu May 23 19:35:18 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page