Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Dieter Spreen

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/BergerBMS12
- ask others
Ulrich Berger, Vasco Brattka, Andrei S. Morozov, Dieter Spreen: Foreword. Ann. Pure Appl. Logic 163(8): 973-974 (2012)
2011
[i1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dagstuhl-reports/BergerBSST11
- ask others
Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki: Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1(10): 14-36 (2011)
2010
[j21]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Spreen10
- ask others
Dieter Spreen: Effectivity and effective continuity of multifunctions. J. Symb. Log. 75(2): 602-640 (2010)
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cie/Spreen10
- ask others
Dieter Spreen: Every D⁰₂\Delta^0_2-Set Is Natural, Up to Turing Equivalence. CiE 2010: 386-393

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Spreen08
- ask others
Dieter Spreen: On the Continuity of Effective Multifunctions. Electr. Notes Theor. Comput. Sci. 221: 271-286 (2008)
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/KoppermanPSS08
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008)
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SpreenXM08
- ask others
Dieter Spreen, Luoshan Xu, Xuxin Mao: Information systems revisited - the general continuous case. Theor. Comput. Sci. 405(1-2): 176-187 (2008)
2007
[e2]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6341
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen (Eds.): Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
2006
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/KoppermanPSSW06
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006)
[c9]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KoppermanPSS06
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: 06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. Computational Structures for Modelling Space, Time and Causality 2006
2005
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aml/Spreen05
- ask others
Dieter Spreen: Strong reducibility of partial numberings. Arch. Math. Log. 44(2): 209-217 (2005)
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mlq/BadaevS05
- ask others
Serikzhan Badaev, Dieter Spreen: A note on partial numberings. Math. Log. Q. 51(2): 129-136 (2005)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/Spreen05
- ask others
Dieter Spreen: The largest Cartesian closed category of domains, considered constructively. Mathematical Structures in Computer Science 15(2): 299-321 (2005)
[c8]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KoppermanPSSW05
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
[c7]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/KoppermanPSSW05a
- ask others
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
[e1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2005P4351
- ask others
Ralph Kopperman, Michael B. Smyth, Dieter Spreen, Julian Webster (Eds.): Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings 04351, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
2002
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/siamcomp/Spreen02
- ask others
Dieter Spreen: Safe Weak Minimization Revisited. SIAM J. Comput. 31(5): 1542-1556 (2002)
2001
[j12]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Spreen01
- ask others
Dieter Spreen: Can Partial Indexings be Totalized? J. Symb. Log. 66(3): 1157-1185 (2001)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Spreen01
- ask others
Dieter Spreen: Representations versus numberings: on the relationship of two computability notions. Theor. Comput. Sci. 262(1): 473-499 (2001)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Spreen01a
- ask others
Dieter Spreen: Corrigendum to "On functions preserving levels of approximation: a refined model construction for various lambda calculi". Theor. Comput. Sci. 266(1-2): 997-998 (2001)
2000
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Spreen00
- ask others
Dieter Spreen: Preface. Electr. Notes Theor. Comput. Sci. 35: 1 (2000)
[j8]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Spreen00
- ask others
Dieter Spreen: Corrigendum. J. Symb. Log. 65(4): 1917-1918 (2000)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpar/Spreen00
- ask others
Dieter Spreen: A New Model Construction for the Polymorphic Lambda Calculus. LPAR 2000: 275-292

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Spreen99
- ask others
Dieter Spreen: Corrigendum to ``On Some Decision Problems in Programming''. Inf. Comput. 148(2): 241-244 (1999)
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Spreen99
- ask others
Dieter Spreen: On Functions Preserving Levels of Approximation: A Refined Model Construction for Various lambda Calculi. Theor. Comput. Sci. 212(1-2): 261-303 (1999)
1998
[j5]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Spreen98
- ask others
Dieter Spreen: On Effective Topological Spaces. J. Symb. Log. 63(1): 185-221 (1998)
1996
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Spreen96
- ask others
Dieter Spreen: Effective Inseparability in a Topological Setting. Ann. Pure Appl. Logic 80(3): 257-275 (1996)
1995
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Spreen95
- ask others
Dieter Spreen: On Some Decision Problems in Programming. Inf. Comput. 122(1): 120-139 (1995)
1992
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lfcs/Spreen92
- ask others
Dieter Spreen: Effective Operators and Continuity Revisited. LFCS 1992: 459-469
1990
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Spreen90
- ask others
Dieter Spreen: Computable One-to-One Enumerations of Effective Domains. Inf. Comput. 84(1): 26-46 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1988
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eik/Spreen88
- ask others
Dieter Spreen: On the Equivalence Problem in Automata Theory: A Uniform Approach. Elektronische Informationsverarbeitung und Kybernetik 24(1/2): 31-50 (1988)
1987
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/SpreenS87
- ask others
Dieter Spreen, Hans Stahl: On the Power of Single-Valued Nondeterministic Polynomial Time Computations. Computation Theory and Logic 1987: 403-414
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Spreen87
- ask others
Dieter Spreen: On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. CSL 1987: 289-303
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfps/Spreen87
- ask others
Dieter Spreen: Computable One-to-one Enumerations of Effective Domains. MFPS 1987: 372-384
1983
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lam/Spreen83
- ask others
Dieter Spreen: On r.e. inseparability of CPO index sets. Logic and Machines 1983: 103-117