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