Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=20
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Specifications, models, and implementations of data abstractions (in Fundamental Studies)
M. Wand
Theoretical Computer Science
20
, 1982, pp. 3-32
Morphismes et bimorphismes d'arbres (in Fundamental Studies)
A. Arnold
,
M. Dauchet
Theoretical Computer Science
20
, 1982, pp. 33-93
The IO- and OI-hierarchies (in Fundamental Studies)
W. Damm
Theoretical Computer Science
20
, 1982, pp. 95-207
Algebraic implementation of abstract data types (in Fundamental Studies)
H. Ehrig
,
H.-J. Kreowski
,
B. Mahr
,
P. Padawitz
Theoretical Computer Science
20
, 1982, pp. 209-263
Sequential algorithms on concrete data structures (in Fundamental Studies)
G. Berry
,
P.L. Curien
Theoretical Computer Science
20
, 1982, pp. 265-321
Computational complexity of real functions (in Fundamental Studies)
K.-I. Ko
,
H. Friedman
Theoretical Computer Science
20
, 1982, pp. 323-352