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: Author="Spreen, Dieter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Information systems revisited - The general continuous case
Dieter Spreen
,
Luoshan Xu
,
Xuxin Mao
Theoretical Computer Science
405
(1-2), 2008, pp. 176-187
Safe weak minimization revisited
Dieter Spreen
SIAM Journal on Computing
31
(5), 2002, pp. 1542-1556
Representation versus numberings: On the relationship of two computability notions
Dieter Spreen
Theoretical Computer Science
262
(1-2), 2001, pp. 473-499
Corrigendum to ''On some decision problems in programming''
Dieter Spreen
Information and Computation
148
(2), 1999, pp. 241-244
On functions preserving levels of approximation: A refined model construction for various lambda calculi
Dieter Spreen
Theoretical Computer Science
212
(1-2), 1999, pp. 261-303
On some decision problems in programming
Dieter Spreen
Information and Computation
122
(1), 1995, pp. 120-139
Computable one-to-one enumerations of effective domains
Dieter Spreen
Information and Computation
84
(1), 1990, January, pp. 26-46