default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert Rettinger
@article{DBLP:journals/mscs/Rettinger17,
author = {Robert Rettinger},
title = {Effective Riemann mappings of multiply connected domains and Riemann
surfaces},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1495--1520},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000153},
doi = {10.1017/S0960129516000153},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Rettinger17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RettingerW13,
author = {Robert Rettinger and
Klaus Weihrauch},
title = {Products of effective topological spaces and a uniformly computable
Tychonoff Theorem},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:14)2013},
doi = {10.2168/LMCS-9(4:14)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RettingerW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2245,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Point-Separable Classes of Simple Computable Planar Curves},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:15)2012},
doi = {10.2168/LMCS-8(3:15)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-5615,
author = {Robert Rettinger},
title = {On computable approximations of Landau's constant},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {4},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(4:15)2012},
doi = {10.2168/LMCS-8(4:15)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-5615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Rettinger12,
author = {Robert Rettinger},
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {Compactness and the Effectivity of Uniformization},
booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
pages = {616--625},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3\_62},
doi = {10.1007/978-3-642-30870-3\_62},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Rettinger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-0402,
author = {Robert Rettinger},
editor = {Xizhong Zheng and
Ning Zhong},
title = {A Local to Global Principle for the Complexity of Riemann Mappings
(Extended Abstract)},
booktitle = {Proceedings Seventh International Conference on Computability and
Complexity in Analysis, {CCA} 2010, Zhenjiang, China, 21-25th June
2010},
series = {{EPTCS}},
volume = {24},
pages = {120--129},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.24.16},
doi = {10.4204/EPTCS.24.16},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-0402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BrattkaCR09,
author = {Vasco Brattka and
Pieter Collins and
Robert Rettinger},
title = {Computability and Complexity in Analysis},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {6},
pages = {1143--1144},
year = {2009},
url = {http://www.jucs.org/jucs\_15\_06/computability\_and\_complexity\_in},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BrattkaCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/RettingerWZ09,
author = {Robert Rettinger and
Klaus Weihrauch and
Ning Zhong},
title = {Topological Complexity of Blowup Problems},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {6},
pages = {1301--1316},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-06-1301},
doi = {10.3217/JUCS-015-06-1301},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/RettingerWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Rettinger09,
author = {Robert Rettinger},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Towards the Complexity of Riemann Mappings (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2272},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Rettinger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ09,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {On the Computability of Rectifiable Simple Curve (Extended Abstract)},
booktitle = {Sixth International Conference on Computability and Complexity in
Analysis, {CCA} 2009, August 18-22, 2009, Ljubljana, Slovenia},
series = {OASIcs},
volume = {11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2273},
timestamp = {Thu, 16 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RettingerZ09,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {Points on Computable Curves of Computable Lengths},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {736--743},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_62},
doi = {10.1007/978-3-642-03816-7\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RettingerZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Rettinger08,
author = {Robert Rettinger},
title = {Bloch's Constant is Computable},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {6},
pages = {896--907},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-06-0896},
doi = {10.3217/JUCS-014-06-0896},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Rettinger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger08a,
author = {Robert Rettinger},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Lower Bounds on the Continuation of Holomorphic Functions},
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 = {207--217},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.018},
doi = {10.1016/J.ENTCS.2008.12.018},
timestamp = {Fri, 17 Feb 2023 10:51:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RettingerWZ08,
author = {Robert Rettinger and
Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Ruth Dillhage and
Tanja Grubba and
Angela Klutsch},
title = {Complexity of Blowup Problems: Extended Abstract},
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 = {219--230},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.019},
doi = {10.1016/J.ENTCS.2008.12.019},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RettingerWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Rettinger07,
author = {Robert Rettinger},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Computable Riemann Surfaces},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {638--647},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_66},
doi = {10.1007/978-3-540-73001-9\_66},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Rettinger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger08,
author = {Robert Rettinger},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {On the Computability of Blochs Constant},
booktitle = {Proceedings of the Fourth International Conference on Computability
and Complexity in Analysis, {CCA} 2007, Siena, Italy, June 16-18,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {202},
pages = {315--322},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.024},
doi = {10.1016/J.ENTCS.2008.03.024},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RettingerZ06,
author = {Robert Rettinger and
Xizhong Zheng},
title = {A hierarchy of Turing degrees of divergence bounded computable real
numbers},
journal = {J. Complex.},
volume = {22},
number = {6},
pages = {818--826},
year = {2006},
url = {https://doi.org/10.1016/j.jco.2006.04.009},
doi = {10.1016/J.JCO.2006.04.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RettingerZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengR06,
author = {Xizhong Zheng and
Robert Rettinger},
title = {A Reference Correction of "Effective Jordan Decomposition"},
journal = {Theory Comput. Syst.},
volume = {39},
number = {2},
pages = {385--385},
year = {2006},
url = {https://doi.org/10.1007/s00224-005-1323-2},
doi = {10.1007/S00224-005-1323-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengRB05,
author = {Xizhong Zheng and
Robert Rettinger and
George Barmpalias},
title = {\emph{h}-monotonically computable real numbers},
journal = {Math. Log. Q.},
volume = {51},
number = {2},
pages = {157--170},
year = {2005},
url = {https://doi.org/10.1002/malq.200410016},
doi = {10.1002/MALQ.200410016},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengR05,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Effective Jordan Decomposition},
journal = {Theory Comput. Syst.},
volume = {38},
number = {2},
pages = {189--209},
year = {2005},
url = {https://doi.org/10.1007/s00224-004-1193-z},
doi = {10.1007/S00224-004-1193-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZhengRG05,
author = {Xizhong Zheng and
Robert Rettinger and
Romain Gengler},
title = {Closure Properties of Real Number Classes under {CBV} Functions},
journal = {Theory Comput. Syst.},
volume = {38},
number = {6},
pages = {701--729},
year = {2005},
url = {https://doi.org/10.1007/s00224-004-1159-1},
doi = {10.1007/S00224-004-1159-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZhengRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Hierarchy of Turing Degrees for Divergence Bounded Computable Real
Numbers},
booktitle = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
pages = {199--209},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {On the Turing Degrees of Divergence Bounded Computable Reals},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {418--428},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_51},
doi = {10.1007/11494645\_51},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZ05,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Lusheng Wang},
title = {Solovay Reducibility on D-c.e Real Numbers},
booktitle = {Computing and Combinatorics, 11th Annual International Conference,
{COCOON} 2005, Kunming, China, August 16-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3595},
pages = {359--368},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11533719\_37},
doi = {10.1007/11533719\_37},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengR04,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Weak computability and representation of reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {431--442},
year = {2004},
url = {https://doi.org/10.1002/malq.200310110},
doi = {10.1002/MALQ.200310110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/ZhengR04,
author = {Xizhong Zheng and
Robert Rettinger},
editor = {Kyung{-}Yong Chwa and
J. Ian Munro},
title = {On the Extensions of Solovay-Reducibility.},
booktitle = {Computing and Combinatorics, 10th Annual International Conference,
{COCOON} 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3106},
pages = {360--369},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27798-9\_39},
doi = {10.1007/978-3-540-27798-9\_39},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/ZhengR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rettinger05,
author = {Robert Rettinger},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {145--157},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.041},
doi = {10.1016/J.ENTCS.2004.06.041},
timestamp = {Fri, 09 Dec 2022 13:20:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengR05,
author = {Xizhong Zheng and
Robert Rettinger},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Note On the Turing Degrees of Divergence Bounded Computable Reals},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in
Analysis, {CCA} 2004, Wittenberg, Germany, August 16-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {120},
pages = {231--237},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.047},
doi = {10.1016/J.ENTCS.2004.06.047},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/RettingerZ03,
author = {Robert Rettinger and
Xizhong Zheng},
title = {On the hierarchy and extension of monotonically computable real numbers},
journal = {J. Complex.},
volume = {19},
number = {5},
pages = {672--691},
year = {2003},
url = {https://doi.org/10.1016/S0885-064X(03)00066-9},
doi = {10.1016/S0885-064X(03)00066-9},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/RettingerZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZhengRG03,
author = {Xizhong Zheng and
Robert Rettinger and
Romain Gengler},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {Ershov's Hierarchy of Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {681--690},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_62},
doi = {10.1007/978-3-540-45138-9\_62},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZhengRG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ZhengRB03,
author = {Xizhong Zheng and
Robert Rettinger and
Burchard von Braunm{\"{u}}hl},
editor = {Helmut Alt and
Michel Habib},
title = {On the Effective Jordan Decomposability},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {167--178},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_16},
doi = {10.1007/3-540-36494-3\_16},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ZhengRB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RettingerW03,
author = {Robert Rettinger and
Klaus Weihrauch},
editor = {Lawrence L. Larmore and
Michel X. Goemans},
title = {The computational complexity of some julia sets},
booktitle = {Proceedings of the 35th Annual {ACM} Symposium on Theory of Computing,
June 9-11, 2003, San Diego, CA, {USA}},
pages = {177--185},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780542.780570},
doi = {10.1145/780542.780570},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RettingerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RettingerZGB02,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
title = {Monotonically Computable Real Numbers},
journal = {Math. Log. Q.},
volume = {48},
number = {3},
pages = {459--479},
year = {2002},
url = {https://doi.org/10.1002/1521-3870(200204)48:3\&\#60;459::AID-MALQ459\&\#62;3.0.CO;2-9},
doi = {10.1002/1521-3870(200204)48:3\&\#60;459::AID-MALQ459\&\#62;3.0.CO;2-9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RettingerZGB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZ02,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Oscar H. Ibarra and
Louxin Zhang},
title = {Burchard von Braunm{\"{u}}hl, Computable Real Functions of Bounded
Variation and Semi-computable Real Numbers},
booktitle = {Computing and Combinatorics, 8th Annual International Conference,
{COCOON} 2002, Singapore, August 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2387},
pages = {47--56},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45655-4\_7},
doi = {10.1007/3-540-45655-4\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RettingerW02,
author = {Robert Rettinger and
Klaus Weihrauch},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {The Computational Complexity of Some Julia Sets},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {154--164},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80386-4},
doi = {10.1016/S1571-0661(04)80386-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RettingerW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZhengRB02,
author = {Xizhong Zheng and
Robert Rettinger and
Burchard von Braunm{\"{u}}hl},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Effectively Absolute Continuity and Effective Jordan Decomposability},
booktitle = {Computability and Complexity in Analysis, {CCA} 2002, {ICALP} 2002
Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {1},
pages = {213--224},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80391-8},
doi = {10.1016/S1571-0661(04)80391-8},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZhengRB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RettingerZGB01,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
editor = {Jie Wang},
title = {Weakly Computable Real Numbers and Total Computable Real Functions},
booktitle = {Computing and Combinatorics, 7th Annual International Conference,
{COCOON} 2001, Guilin, China, August 20-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2108},
pages = {586--595},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44679-6\_65},
doi = {10.1007/3-540-44679-6\_65},
timestamp = {Mon, 03 Aug 2020 14:08:01 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/RettingerZGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/RettingerZGB01,
author = {Robert Rettinger and
Xizhong Zheng and
Romain Gengler and
Burchard von Braunm{\"{u}}hl},
editor = {Cristian S. Calude and
Michael J. Dinneen and
Silviu Sburlan},
title = {Monotonically Computable Real Numbers},
booktitle = {Combinatorics, Computability and Logic, Proceedings of the Third International
Conference on Combinatorics, Computability and Logic, {DMTCS} 20Ol,
Constanta, Romania},
series = {Discrete mathematics and theoretical computer science},
pages = {187--201},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0717-0\_16},
doi = {10.1007/978-1-4471-0717-0\_16},
timestamp = {Fri, 19 Jul 2019 10:39:29 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/RettingerZGB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/RettingerV01,
author = {Robert Rettinger and
Rutger Verbeek},
editor = {Rusins Freivalds},
title = {Monte-Carlo Polynomial Versus Linear Time - The Truth-Table Case},
booktitle = {Fundamentals of Computation Theory, 13th International Symposium,
{FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2138},
pages = {311--322},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44669-9\_30},
doi = {10.1007/3-540-44669-9\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/RettingerV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RettingerZ01,
author = {Robert Rettinger and
Xizhong Zheng},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Hierarchy of Monotonically Computable Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {633--644},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_55},
doi = {10.1007/3-540-44683-4\_55},
timestamp = {Sat, 19 Oct 2019 20:31:50 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RettingerZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Rettinger00,
author = {Robert Rettinger},
title = {Orakelabh{\"{a}}ngige Zeithierarchies{\"{a}}tze},
school = {University of Hagen, Germany},
year = {2000},
url = {https://d-nb.info/958608555},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Rettinger00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BraunmuhlGR94,
author = {Burchard von Braunm{\"{u}}hl and
Romain Gengler and
Robert Rettinger},
editor = {Patrice Enjalbert and
Ernst W. Mayr and
Klaus W. Wagner},
title = {The Alternation Hierarchy for Machines with Sublogarithmic Space is
Infinite},
booktitle = {{STACS} 94, 11th Annual Symposium on Theoretical Aspects of Computer
Science, Caen, France, February 24-26, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {775},
pages = {85--96},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57785-8\_133},
doi = {10.1007/3-540-57785-8\_133},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BraunmuhlGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/BraunmuhlGR93,
author = {Burchard von Braunm{\"{u}}hl and
Romain Gengler and
Robert Rettinger},
title = {The Alternation Hierarchy for Sublogarithmic Space is Infinite},
journal = {Comput. Complex.},
volume = {3},
pages = {207--230},
year = {1993},
url = {https://doi.org/10.1007/BF01271368},
doi = {10.1007/BF01271368},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cc/BraunmuhlGR93.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:13 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:
