default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dieter Spreen
@article{DBLP:journals/computability/BazhenovKSS23,
author = {Nikolay Bazhenov and
Takayuki Kihara and
Svetlana Selivanova and
Dieter Spreen},
title = {On the main scientific achievements of Victor Selivanov},
journal = {Comput.},
volume = {12},
number = {4},
pages = {301--314},
year = {2023},
url = {https://doi.org/10.3233/COM-230951},
doi = {10.3233/COM-230951},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BazhenovKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Spreen23,
author = {Dieter Spreen},
title = {How much partiality is needed for a theory of computability?},
journal = {Comput.},
volume = {12},
number = {4},
pages = {371--426},
year = {2023},
url = {https://doi.org/10.3233/COM-230463},
doi = {10.3233/COM-230463},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Spreen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SpreenB23,
author = {Dieter Spreen and
Ulrich Berger},
title = {Computing with Infinite Objects: the Gray Code Case},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {3},
year = {2023},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SpreenB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-06982,
author = {Dieter Spreen},
title = {How Much Partiality Is Needed for a Theory of Computability?},
journal = {CoRR},
volume = {abs/2305.06982},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.06982},
doi = {10.48550/ARXIV.2305.06982},
eprinttype = {arXiv},
eprint = {2305.06982},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-06982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10125,
author = {Ulrich Berger and
Monika Seisenberger and
Dieter Spreen and
Hideki Tsuiki},
title = {Concurrent Gaussian elimination},
journal = {CoRR},
volume = {abs/2305.10125},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10125},
doi = {10.48550/ARXIV.2305.10125},
eprinttype = {arXiv},
eprint = {2305.10125},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Spreen21,
author = {Dieter Spreen},
title = {Computing with continuous objects: a uniform co-inductive approach},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {2},
pages = {144--192},
year = {2021},
url = {https://doi.org/10.1017/S0960129521000116},
doi = {10.1017/S0960129521000116},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Spreen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spreen21,
author = {Dieter Spreen},
title = {Generalised information systems capture L-domains},
journal = {Theor. Comput. Sci.},
volume = {869},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.12.044},
doi = {10.1016/J.TCS.2020.12.044},
timestamp = {Wed, 05 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Spreen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14261,
author = {Dieter Spreen and
Ulrich Berger},
title = {Computing with Infinite Objects: the Gray Code Case},
journal = {CoRR},
volume = {abs/2105.14261},
year = {2021},
url = {https://arxiv.org/abs/2105.14261},
eprinttype = {arXiv},
eprint = {2105.14261},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05392,
author = {Dieter Spreen},
title = {Computing with Continuous Objects: {A} Uniform Co-inductive Approach},
journal = {CoRR},
volume = {abs/2004.05392},
year = {2020},
url = {https://arxiv.org/abs/2004.05392},
eprinttype = {arXiv},
eprint = {2004.05392},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05392.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Spreen17,
author = {Dieter Spreen},
title = {{CID} - Computing with Infinite Data},
journal = {Bull. {EATCS}},
volume = {122},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/485},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Spreen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BauerBFSTZ17,
author = {Andrej Bauer and
Ulrich Berger and
Willem L. Fouch{\'{e}} and
Dieter Spreen and
Hideki Tsuiki and
Martin Ziegler},
title = {Continuity, computability, constructivity: from logic to algorithms
2014 (Preface to the special issue: Continuity, Computability, Constructivity:
From Logic to Algorithms 2014)},
journal = {J. Log. Anal.},
volume = {9},
year = {2017},
url = {http://logicandanalysis.org/index.php/jla/article/view/306/118},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BauerBFSTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/IshiharaKPSS17,
author = {Hajime Ishihara and
Margarita V. Korovina and
Arno Pauly and
Monika Seisenberger and
Dieter Spreen},
title = {Preface to the special issue: Continuity, computability, constructivity:
from logic to algorithms 2013},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1285--1286},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000086},
doi = {10.1017/S0960129516000086},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/IshiharaKPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Spreen17,
author = {Dieter Spreen},
title = {Some results related to the continuity problem},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1601--1624},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000190},
doi = {10.1017/S0960129516000190},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Spreen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Spreen17,
author = {Dieter Spreen},
title = {Information Systems with Witnesses: The Function Space Construction},
journal = {CoRR},
volume = {abs/1702.05079},
year = {2017},
url = {http://arxiv.org/abs/1702.05079},
eprinttype = {arXiv},
eprint = {1702.05079},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Spreen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jla/BergerS16,
author = {Ulrich Berger and
Dieter Spreen},
title = {A coinductive approach to computing with compact sets},
journal = {J. Log. Anal.},
volume = {8},
year = {2016},
url = {http://logicandanalysis.org/index.php/jla/article/view/263/111},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jla/BergerS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Spreen16,
author = {Dieter Spreen},
title = {Generalised Information Systems Capture L-Domains},
journal = {CoRR},
volume = {abs/1610.02260},
year = {2016},
url = {http://arxiv.org/abs/1610.02260},
eprinttype = {arXiv},
eprint = {1610.02260},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Spreen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergerBSST15,
author = {Ulrich Berger and
Vasco Brattka and
Victor L. Selivanov and
Dieter Spreen and
Hideki Tsuiki},
title = {Preface to the special issue: Computing with infinite data: topological
and logical foundations},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {7},
pages = {1463--1465},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000364},
doi = {10.1017/S0960129513000364},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergerBSST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001S15c,
author = {Ulrich Berger and
Dieter Spreen},
title = {A Coinductive Approach to Computing with Compact Sets},
journal = {CoRR},
volume = {abs/1510.08498},
year = {2015},
url = {http://arxiv.org/abs/1510.08498},
eprinttype = {arXiv},
eprint = {1510.08498},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001S15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GehrkeJSS15,
author = {Mai Gehrke and
Achim Jung and
Victor L. Selivanov and
Dieter Spreen},
title = {Duality in Computer Science (Dagstuhl Seminar 15441)},
journal = {Dagstuhl Reports},
volume = {5},
number = {10},
pages = {66--88},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.10.66},
doi = {10.4230/DAGREP.5.10.66},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GehrkeJSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Spreen14,
author = {Dieter Spreen},
editor = {Vasco Brattka and
Hannes Diener and
Dieter Spreen},
title = {The life and work of Victor L. Selivanov},
booktitle = {Logic, Computation, Hierarchies},
series = {Ontos Mathematical Logic},
volume = {4},
pages = {1--8},
publisher = {De Gruyter},
year = {2014},
url = {https://doi.org/10.1515/9781614518044.1},
doi = {10.1515/9781614518044.1},
timestamp = {Tue, 16 May 2017 14:01:34 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Spreen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Spreen14a,
author = {Dieter Spreen},
editor = {Vasco Brattka and
Hannes Diener and
Dieter Spreen},
title = {Partial Numberings and Precompleteness},
booktitle = {Logic, Computation, Hierarchies},
series = {Ontos Mathematical Logic},
volume = {4},
pages = {325--340},
publisher = {De Gruyter},
year = {2014},
url = {https://doi.org/10.1515/9781614518044.325},
doi = {10.1515/9781614518044.325},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Spreen14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/Spreen14b,
author = {Dieter Spreen},
editor = {Vasco Brattka and
Hannes Diener and
Dieter Spreen},
title = {An Isomorphism Theorem for Partial Numberings},
booktitle = {Logic, Computation, Hierarchies},
series = {Ontos Mathematical Logic},
volume = {4},
pages = {341--382},
publisher = {De Gruyter},
year = {2014},
url = {https://doi.org/10.1515/9781614518044.341},
doi = {10.1515/9781614518044.341},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/Spreen14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0036094,
editor = {Vasco Brattka and
Hannes Diener and
Dieter Spreen},
title = {Logic, Computation, Hierarchies},
series = {Ontos Mathematical Logic},
volume = {4},
publisher = {De Gruyter},
year = {2014},
url = {https://doi.org/10.1515/9781614518044},
doi = {10.1515/9781614518044},
isbn = {978-1-61451-804-4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0036094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GehrkePSS13,
author = {Mai Gehrke and
Jean{-}Eric Pin and
Victor L. Selivanov and
Dieter Spreen},
title = {Duality in Computer Science (Dagstuhl Seminar 13311)},
journal = {Dagstuhl Reports},
volume = {3},
number = {7},
pages = {54--73},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.7.54},
doi = {10.4230/DAGREP.3.7.54},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GehrkePSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergerBMS12,
author = {Ulrich Berger and
Vasco Brattka and
Andrei S. Morozov and
Dieter Spreen},
title = {Foreword},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {8},
pages = {973--974},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.019},
doi = {10.1016/J.APAL.2011.12.019},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergerBMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BergerBSST11,
author = {Ulrich Berger and
Vasco Brattka and
Victor L. Selivanov and
Dieter Spreen and
Hideki Tsuiki},
title = {Computing with Infinite Data: Topological and Logical Foundations
(Dagstuhl Seminar 11411)},
journal = {Dagstuhl Reports},
volume = {1},
number = {10},
pages = {14--36},
year = {2011},
url = {https://doi.org/10.4230/DagRep.1.10.14},
doi = {10.4230/DAGREP.1.10.14},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BergerBSST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen10,
author = {Dieter Spreen},
title = {Effectivity and effective continuity of multifunctions},
journal = {J. Symb. Log.},
volume = {75},
number = {2},
pages = {602--640},
year = {2010},
url = {https://doi.org/10.2178/jsl/1268917496},
doi = {10.2178/JSL/1268917496},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Spreen10,
author = {Dieter Spreen},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {Every D\({}^{\mbox{0}}\)\({}_{\mbox{2}}\){\textbackslash}Delta{\^{}}0{\_}2-Set
Is Natural, Up to Turing Equivalence},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {386--393},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_43},
doi = {10.1007/978-3-642-13962-8\_43},
timestamp = {Tue, 07 May 2024 20:13:36 +0200},
biburl = {https://dblp.org/rec/conf/cie/Spreen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KoppermanPSS08,
author = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {405},
number = {1-2},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.018},
doi = {10.1016/J.TCS.2008.06.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoppermanPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SpreenXM08,
author = {Dieter Spreen and
Luoshan Xu and
Xuxin Mao},
title = {Information systems revisited - the general continuous case},
journal = {Theor. Comput. Sci.},
volume = {405},
number = {1-2},
pages = {176--187},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.06.032},
doi = {10.1016/J.TCS.2008.06.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SpreenXM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spreen08,
author = {Dieter Spreen},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {On the Continuity of Effective Multifunctions},
booktitle = {Proceedings of the Fifth International Conference on Computability
and Complexity in Analysis, {CCA} 2008, Hagen, Germany, August 21-24,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {221},
pages = {271--286},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.023},
doi = {10.1016/J.ENTCS.2008.12.023},
timestamp = {Fri, 17 Feb 2023 10:51:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spreen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6341,
editor = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen},
title = {Computational Structures for Modelling Space, Time and Causality,
20.08. - 25.08.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06341},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06341/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KoppermanPSSW06,
author = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {365},
number = {3},
pages = {169--170},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.07.046},
doi = {10.1016/J.TCS.2006.07.046},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoppermanPSSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoppermanPSS06,
author = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen},
editor = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen},
title = {06341 Abstracts Collection -- Computational Structures for Modelling
Space, Time and Causality},
booktitle = {Computational Structures for Modelling Space, Time and Causality,
20.08. - 25.08.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06341},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/900},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KoppermanPSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Spreen05,
author = {Dieter Spreen},
title = {Strong reducibility of partial numberings},
journal = {Arch. Math. Log.},
volume = {44},
number = {2},
pages = {209--217},
year = {2005},
url = {https://doi.org/10.1007/s00153-004-0262-y},
doi = {10.1007/S00153-004-0262-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Spreen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BadaevS05,
author = {Serikzhan A. Badaev and
Dieter Spreen},
title = {A note on partial numberings},
journal = {Math. Log. Q.},
volume = {51},
number = {2},
pages = {129--136},
year = {2005},
url = {https://doi.org/10.1002/malq.200310131},
doi = {10.1002/MALQ.200310131},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/BadaevS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Spreen05,
author = {Dieter Spreen},
title = {The largest Cartesian closed category of domains, considered constructively},
journal = {Math. Struct. Comput. Sci.},
volume = {15},
number = {2},
pages = {299--321},
year = {2005},
url = {https://doi.org/10.1017/S0960129504004591},
doi = {10.1017/S0960129504004591},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Spreen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2005P4351,
editor = {Ralph Kopperman and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings},
volume = {04351},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/04351/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2005P4351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoppermanPSSW05,
author = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
editor = {Ralph Kopperman and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {04351 Summary - Spatial Representation: Discrete vs. Continuous Computational
Models},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings},
volume = {04351},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/171},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KoppermanPSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoppermanPSSW05a,
author = {Ralph Kopperman and
Prakash Panangaden and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
editor = {Ralph Kopperman and
Michael B. Smyth and
Dieter Spreen and
Julian Webster},
title = {04351 Abstracts Collection - Spatial Representation: Discrete vs.
Continuous Computational Models},
booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models},
series = {Dagstuhl Seminar Proceedings},
volume = {04351},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/174},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KoppermanPSSW05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Spreen02,
author = {Dieter Spreen},
title = {Safe Weak Minimization Revisited},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {5},
pages = {1542--1556},
year = {2002},
url = {https://doi.org/10.1137/S0097539701387854},
doi = {10.1137/S0097539701387854},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Spreen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen01,
author = {Dieter Spreen},
title = {Can Partial Indexings be Totalized?},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1157--1185},
year = {2001},
url = {https://doi.org/10.2307/2695099},
doi = {10.2307/2695099},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spreen01,
author = {Dieter Spreen},
title = {Representations versus numberings: on the relationship of two computability
notions},
journal = {Theor. Comput. Sci.},
volume = {262},
number = {1},
pages = {473--499},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00319-4},
doi = {10.1016/S0304-3975(00)00319-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spreen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spreen01a,
author = {Dieter Spreen},
title = {Corrigendum to "On functions preserving levels of approximation:
a refined model construction for various lambda calculi"},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {997--998},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(01)00160-8},
doi = {10.1016/S0304-3975(01)00160-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spreen01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen00,
author = {Dieter Spreen},
title = {Corrigendum},
journal = {J. Symb. Log.},
volume = {65},
number = {4},
pages = {1917--1918},
year = {2000},
url = {https://doi.org/10.2307/2695087},
doi = {10.2307/2695087},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Spreen00,
author = {Dieter Spreen},
editor = {Michel Parigot and
Andrei Voronkov},
title = {A New Model Construction for the Polymorphic Lambda Calculus},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {275--292},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_18},
doi = {10.1007/3-540-44404-1\_18},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Spreen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/domains/1998,
editor = {Dieter Spreen and
Ralf Greb and
Holger Schulz and
Michel P. Schellekens},
title = {Workshop on Domains {IV} 1998, Haus Humboldtstein, Remagen-Rolandseck,
Germany, October 2-4, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {35},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/35/suppl/C},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/domains/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Spreen99,
author = {Dieter Spreen},
title = {Corrigendum to "On Some Decision Problems in Programming"},
journal = {Inf. Comput.},
volume = {148},
number = {2},
pages = {241--244},
year = {1999},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Spreen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Spreen99,
author = {Dieter Spreen},
title = {On Functions Preserving Levels of Approximation: {A} Refined Model
Construction for Various lambda Calculi},
journal = {Theor. Comput. Sci.},
volume = {212},
number = {1-2},
pages = {261--303},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00144-3},
doi = {10.1016/S0304-3975(98)00144-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Spreen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spreen98,
author = {Dieter Spreen},
title = {On Effective Topological Spaces},
journal = {J. Symb. Log.},
volume = {63},
number = {1},
pages = {185--221},
year = {1998},
url = {https://doi.org/10.2307/2586596},
doi = {10.2307/2586596},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spreen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Spreen00,
author = {Dieter Spreen},
editor = {Dieter Spreen and
Ralf Greb and
Holger Schulz and
Michel P. Schellekens},
title = {Preface},
booktitle = {Workshop on Domains {IV} 1998, Haus Humboldtstein, Remagen-Rolandseck,
Germany, October 2-4, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {35},
pages = {1},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80722-4},
doi = {10.1016/S1571-0661(05)80722-4},
timestamp = {Wed, 30 Nov 2022 10:39:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Spreen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Spreen96,
author = {Dieter Spreen},
title = {Effective Inseparability in a Topological Setting},
journal = {Ann. Pure Appl. Log.},
volume = {80},
number = {3},
pages = {257--275},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00067-4},
doi = {10.1016/0168-0072(95)00067-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Spreen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Spreen96,
author = {Dieter Spreen},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {Representations versus Numberings: On Two Computability Notions},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {387--401},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 20:10:07 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Spreen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Spreen95,
author = {Dieter Spreen},
title = {On Some Decision Problems in Programming},
journal = {Inf. Comput.},
volume = {122},
number = {1},
pages = {120--139},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1143},
doi = {10.1006/INCO.1995.1143},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Spreen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Spreen92,
author = {Dieter Spreen},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Effective Operators and Continuity Revisited},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {459--469},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023898},
doi = {10.1007/BFB0023898},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Spreen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Spreen90,
author = {Dieter Spreen},
title = {Computable One-to-One Enumerations of Effective Domains},
journal = {Inf. Comput.},
volume = {84},
number = {1},
pages = {26--46},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90032-D},
doi = {10.1016/0890-5401(90)90032-D},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Spreen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Spreen88,
author = {Dieter Spreen},
title = {On the Equivalence Problem in Automata Theory: {A} Uniform Approach},
journal = {J. Inf. Process. Cybern.},
volume = {24},
number = {1/2},
pages = {31--50},
year = {1988},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Spreen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SpreenS87,
author = {Dieter Spreen and
Hans Stahl},
editor = {Egon B{\"{o}}rger},
title = {On the Power of Single-Valued Nondeterministic Polynomial Time Computations},
booktitle = {Computation Theory and Logic, In Memory of Dieter R{\"{o}}dding},
series = {Lecture Notes in Computer Science},
volume = {270},
pages = {403--414},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18170-9\_182},
doi = {10.1007/3-540-18170-9\_182},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SpreenS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Spreen87,
author = {Dieter Spreen},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {On Functions Computable in Nondeterministic Polynomial Time: Some
Characterizations},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {289--303},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_45},
doi = {10.1007/3-540-50241-6\_45},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Spreen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/Spreen87,
author = {Dieter Spreen},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Computable One-to-one Enumerations of Effective Domains},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {372--384},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_20},
doi = {10.1007/3-540-19020-1\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/Spreen87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lam/Spreen83,
author = {Dieter Spreen},
editor = {Egon B{\"{o}}rger and
Gisbert Hasenjaeger and
Dieter R{\"{o}}dding},
title = {On r.e. inseparability of {CPO} index sets},
booktitle = {Logic and Machines: Decision Problems and Complexity, Proceedings
of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983
at the Institut f{\"{u}}r Mathematische Logik und Grundlagenforschung
der Universit{\"{a}}t M{\"{u}}nster/Westfalen},
series = {Lecture Notes in Computer Science},
volume = {171},
pages = {103--117},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-13331-3\_36},
doi = {10.1007/3-540-13331-3\_36},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lam/Spreen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/Spreen81,
author = {Dieter Spreen},
title = {A further anticycling rule in multichain policy iteration for undiscounted
Markov renewal programs},
journal = {Z. Oper. Research},
volume = {25},
number = {7},
pages = {225--233},
year = {1981},
url = {https://doi.org/10.1007/BF01917174},
doi = {10.1007/BF01917174},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/Spreen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
