Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Klaus Weihrauch
@article{DBLP:journals/computability/Weihrauch22,
author = {Klaus Weihrauch},
title = {Intersection points of planar curves can be computed},
journal = {Comput.},
volume = {11},
number = {2},
pages = {113--133},
year = {2022},
url = {https://doi.org/10.3233/COM-210311},
doi = {10.3233/COM-210311},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Weihrauch22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Weihrauch19,
author = {Klaus Weihrauch},
title = {Computable planar curves intersect in a computable point},
journal = {Comput.},
volume = {8},
number = {3-4},
pages = {399--415},
year = {2019},
url = {https://doi.org/10.3233/COM-180102},
doi = {10.3233/COM-180102},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Weihrauch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Weihrauch17,
author = {Klaus Weihrauch},
title = {Computability on measurable functions},
journal = {Comput.},
volume = {6},
number = {1},
pages = {79--104},
year = {2017},
url = {https://doi.org/10.3233/COM-160058},
doi = {10.3233/COM-160058},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Weihrauch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeihrauchJ14,
author = {Klaus Weihrauch and
Tahereh Jafarikhah},
title = {Computable Jordan Decomposition of Linear Continuous Functionals on
{\textdollar}C[0;1]{\textdollar}},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:13)2014},
doi = {10.2168/LMCS-10(3:13)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WeihrauchJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WeihrauchT14,
author = {Klaus Weihrauch and
Nazanin Roshandel Tavana},
title = {Representations of measurable sets in computable measure theory},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {3},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(3:7)2014},
doi = {10.2168/LMCS-10(3:7)2014},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WeihrauchT14.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/jucs/JafarikhahW13,
author = {Tahereh Jafarikhah and
Klaus Weihrauch},
title = {The Riesz Representation Operator on the Dual of \emph{C}[0; 1] is
Computable},
journal = {J. Univers. Comput. Sci.},
volume = {19},
number = {6},
pages = {750--770},
year = {2013},
url = {https://doi.org/10.3217/jucs-019-06-0750},
doi = {10.3217/JUCS-019-06-0750},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/JafarikhahW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Weihrauch13,
author = {Klaus Weihrauch},
title = {Computably regular topological spaces},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:5)2013},
doi = {10.2168/LMCS-9(3:5)2013},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Weihrauch13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/HoyrupRW12,
author = {Mathieu Hoyrup and
Cristobal Rojas and
Klaus Weihrauch},
title = {Computability of the Radon-Nikodym Derivative},
journal = {Comput.},
volume = {1},
number = {1},
pages = {3--13},
year = {2012},
url = {https://doi.org/10.3233/COM-2012-005},
doi = {10.3233/COM-2012-005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/HoyrupRW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-3335,
author = {Nazanin Tavana and
Klaus Weihrauch},
title = {Turing machines on represented sets, a model of computation for Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {2},
year = {2011},
url = {https://doi.org/10.2168/LMCS-7(2:19)2011},
doi = {10.2168/LMCS-7(2:19)2011},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-3335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/HoyrupRW11,
author = {Mathieu Hoyrup and
Cristobal Rojas and
Klaus Weihrauch},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Computability of the Radon-Nikodym Derivative},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {132--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_14},
doi = {10.1007/978-3-642-21875-0\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/HoyrupRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Weihrauch10,
author = {Klaus Weihrauch},
title = {Computable Separation in Topology, from \emph{T}\({}_{\mbox{0}}\)
to \emph{T}\({}_{\mbox{2}}\)},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {18},
pages = {2733--2753},
year = {2010},
url = {https://doi.org/10.3217/jucs-016-18-2733},
doi = {10.3217/JUCS-016-18-2733},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Weihrauch10.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}
}
@article{DBLP:journals/jucs/WeihrauchG09,
author = {Klaus Weihrauch and
Tanja Grubba},
title = {Elementary Computable Topology},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {6},
pages = {1381--1422},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-06-1381},
doi = {10.3217/JUCS-015-06-1381},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/WeihrauchG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/WeihrauchWD09,
author = {Klaus Weihrauch and
Yongcheng Wu and
Decheng Ding},
title = {Absolutely non-computable predicates and functions in analysis},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {1},
pages = {59--71},
year = {2009},
url = {https://doi.org/10.1017/S096012950800724X},
doi = {10.1017/S096012950800724X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/WeihrauchWD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch09,
author = {Klaus Weihrauch},
editor = {Andrej Bauer and
Peter Hertling and
Ker{-}I Ko},
title = {Computable Separation in Topology, from T{\_}0 to T{\_}3},
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/2276},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Weihrauch08,
author = {Klaus Weihrauch},
title = {The Computable Multi-Functions on Multi-represented Sets are Closed
under Programming},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {6},
pages = {801--844},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-06-0801},
doi = {10.3217/JUCS-014-06-0801},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Weihrauch08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LuW08,
author = {Hong Lu and
Klaus Weihrauch},
title = {Computable Riesz Representation for Locally Compact Hausdorff Spaces},
journal = {J. Univers. Comput. Sci.},
volume = {14},
number = {6},
pages = {845--860},
year = {2008},
url = {https://doi.org/10.3217/jucs-014-06-0845},
doi = {10.3217/JUCS-014-06-0845},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LuW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LutzW08,
author = {Jack H. Lutz and
Klaus Weihrauch},
title = {Connectivity properties of dimension level sets},
journal = {Math. Log. Q.},
volume = {54},
number = {5},
pages = {483--491},
year = {2008},
url = {https://doi.org/10.1002/malq.200710060},
doi = {10.1002/MALQ.200710060},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LutzW08.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 10:51:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RettingerWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2007,
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {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},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/202/suppl/C},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KoWZ07,
author = {Ker{-}I Ko and
Klaus Weihrauch and
Xizhong Zheng},
title = {Editorial: Math. Log. Quart. 4-5/2007},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {325},
year = {2007},
url = {https://doi.org/10.1002/malq.200790001},
doi = {10.1002/MALQ.200790001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KoWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GrubbaSW07,
author = {Tanja Grubba and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Computable metrization},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {381--395},
year = {2007},
url = {https://doi.org/10.1002/malq.200710009},
doi = {10.1002/MALQ.200710009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GrubbaSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LuW07,
author = {Hong Lu and
Klaus Weihrauch},
title = {Computable Riesz representation for the dual of \emph{C} [0; 1]},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {415--430},
year = {2007},
url = {https://doi.org/10.1002/malq.200710008},
doi = {10.1002/MALQ.200710008},
timestamp = {Thu, 10 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/LuW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/WeihrauchZ07,
author = {Klaus Weihrauch and
Ning Zhong},
title = {Computable analysis of the abstract Cauchy problem in a Banach space
and its applications {I}},
journal = {Math. Log. Q.},
volume = {53},
number = {4-5},
pages = {511--531},
year = {2007},
url = {https://doi.org/10.1002/malq.200710015},
doi = {10.1002/MALQ.200710015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/WeihrauchZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/DingWW07,
author = {Decheng Ding and
Klaus Weihrauch and
Yongcheng Wu},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Hong Zhu},
title = {Absolutely Non-effective Predicates and Functions in Computable Analysis},
booktitle = {Theory and Applications of Models of Computation, 4th International
Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4484},
pages = {595--604},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72504-6\_54},
doi = {10.1007/978-3-540-72504-6\_54},
timestamp = {Mon, 04 May 2020 13:17:48 +0200},
biburl = {https://dblp.org/rec/conf/tamc/DingWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DillhageGSWZ08,
author = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Preface},
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 = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.001},
doi = {10.1016/J.ENTCS.2008.03.001},
timestamp = {Thu, 09 Feb 2023 12:23:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DillhageGSWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuW08,
author = {Hong Lu and
Klaus Weihrauch},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Computable Riesz Representation for Locally Compact Hausdorff Spaces},
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 = {3--12},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.002},
doi = {10.1016/J.ENTCS.2008.03.002},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrubbaWX08,
author = {Tanja Grubba and
Klaus Weihrauch and
Yatao Xu},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Effectivity on Continuous Functions in Topological Spaces},
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 = {237--254},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.018},
doi = {10.1016/J.ENTCS.2008.03.018},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrubbaWX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LutzW08,
author = {Jack H. Lutz and
Klaus Weihrauch},
editor = {Ruth Dillhage and
Tanja Grubba and
Andrea Sorbi and
Klaus Weihrauch and
Ning Zhong},
title = {Connectivity Properties of Dimension Level Sets},
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 = {295--304},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.022},
doi = {10.1016/J.ENTCS.2008.03.022},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LutzW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2006,
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/167/suppl/C},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/WeihrauchZ06,
author = {Klaus Weihrauch and
Ning Zhong},
title = {Computing Schr{\"{o}}dinger propagators on Type-2 Turing machines},
journal = {J. Complex.},
volume = {22},
number = {6},
pages = {918--935},
year = {2006},
url = {https://doi.org/10.1016/j.jco.2006.06.001},
doi = {10.1016/J.JCO.2006.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/WeihrauchZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/WeihrauchZ06,
author = {Klaus Weihrauch and
Ning Zhong},
title = {An Algorithm for Computing Fundamental Solutions},
journal = {{SIAM} J. Comput.},
volume = {35},
number = {6},
pages = {1283--1294},
year = {2006},
url = {https://doi.org/10.1137/S0097539704446360},
doi = {10.1137/S0097539704446360},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/WeihrauchZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WuW06,
author = {Yongcheng Wu and
Klaus Weihrauch},
title = {A computable version of the Daniell-Stone theorem on integration and
linear functionals},
journal = {Theor. Comput. Sci.},
volume = {359},
number = {1-3},
pages = {28--42},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.050},
doi = {10.1016/J.TCS.2006.01.050},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WuW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/WeihrauchZ06,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy
Problem Computable?},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {783--792},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_75},
doi = {10.1007/11750321\_75},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/WeihrauchZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenzerDGW07,
author = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Preface},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.12.001},
doi = {10.1016/J.ENTCS.2006.12.001},
timestamp = {Tue, 24 Jan 2023 11:08:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CenzerDGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeihrauchZ07,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computable Analysis of the Abstract Cauchy Problem in a Banach Space
and Its Applications {(I)}},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {33--59},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.006},
doi = {10.1016/J.ENTCS.2006.08.006},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LuW07,
author = {Hong Lu and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Computable Riesz Representation for the Dual of {C}},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {157--177},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.012},
doi = {10.1016/J.ENTCS.2006.08.012},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LuW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrubbaW07,
author = {Tanja Grubba and
Klaus Weihrauch},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {On Computable Metrization},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {345--364},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.020},
doi = {10.1016/J.ENTCS.2006.08.020},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrubbaW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchZ05,
author = {Klaus Weihrauch and
Ning Zhong},
title = {Computing the solution of the Korteweg-de Vries equation with arbitrary
precision on Turing},
journal = {Theor. Comput. Sci.},
volume = {332},
number = {1-3},
pages = {337--366},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.005},
doi = {10.1016/J.TCS.2004.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/GrubbaW05,
author = {Tanja Grubba and
Klaus Weihrauch},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {A Computable Version of Dini's Theorem for Topological Spaces},
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 = {117--129},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/cca/GrubbaW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch05,
author = {Klaus Weihrauch},
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {Multi-Functions on Multi-Represented Sets are Closed under Flowchart
Programming},
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 = {267--300},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Weihrauch05,
author = {Klaus Weihrauch},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Computable Analysis},
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 = {530--531},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_64},
doi = {10.1007/11494645\_64},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Weihrauch05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/GrubbaW05,
author = {Tanja Grubba and
Klaus Weihrauch},
editor = {Pinar Yolum and
Tunga G{\"{u}}ng{\"{o}}r and
Fikret S. G{\"{u}}rgen and
Can C. {\"{O}}zturan},
title = {A Computable Version of Dini's Theorem for Topological Spaces},
booktitle = {Computer and Information Sciences - {ISCIS} 2005, 20th International
Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3733},
pages = {927--936},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11569596\_94},
doi = {10.1007/11569596\_94},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iscis/GrubbaW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2004,
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {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},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/120/suppl/C},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2005,
editor = {Tanja Grubba and
Peter Hertling and
Hideki Tsuiki and
Klaus Weihrauch},
title = {{CCA} 2005 - Second International Conference on Computability and
Complexity in Analysis, August 25-29, 2005, Kyoto, Japan},
series = {Informatik Berichte},
volume = {326-7/2005},
publisher = {FernUniversit{\"{a}}t Hagen, Germany},
year = {2005},
timestamp = {Tue, 06 Sep 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaSW05,
author = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Preface},
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 = {1},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.09.033},
doi = {10.1016/J.ENTCS.2004.09.033},
timestamp = {Fri, 09 Dec 2022 13:20:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WeihrauchZ05,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {An Algorithm for Computing Fundamental Solutions},
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 = {201--215},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.045},
doi = {10.1016/J.ENTCS.2004.06.045},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WuW05,
author = {Yongcheng Wu and
Klaus Weihrauch},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A Computable Version of the Daniell-Stone Theorem on Integration and
Linear Functionals},
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 = {217--230},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.046},
doi = {10.1016/J.ENTCS.2004.06.046},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WuW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HertlingW03,
author = {Peter Hertling and
Klaus Weihrauch},
title = {Random elements in effective topological spaces with measure},
journal = {Inf. Comput.},
volume = {181},
number = {1},
pages = {32--56},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(02)00034-2},
doi = {10.1016/S0890-5401(02)00034-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HertlingW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ZhongW03,
author = {Ning Zhong and
Klaus Weihrauch},
title = {Computatbility theory of generalized functions},
journal = {J. {ACM}},
volume = {50},
number = {4},
pages = {469--505},
year = {2003},
url = {https://doi.org/10.1145/792538.792542},
doi = {10.1145/792538.792542},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/ZhongW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weihrauch03,
author = {Klaus Weihrauch},
title = {Computational complexity on computable metric spaces},
journal = {Math. Log. Q.},
volume = {49},
number = {1},
pages = {3--21},
year = {2003},
url = {https://doi.org/10.1002/malq.200310001},
doi = {10.1002/MALQ.200310001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weihrauch03.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/tcs/KoNW02,
author = {Ker{-}I Ko and
Anil Nerode and
Klaus Weihrauch},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {197},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00056-1},
doi = {10.1016/S0304-3975(01)00056-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoNW02.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/WeihrauchZ02,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {The Solution Operator of the Korteweg-de Vries Equation is Computable},
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 = {189--201},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80389-X},
doi = {10.1016/S1571-0661(04)80389-X},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WeihrauchZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrattkaSW02,
author = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {Preface},
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 = {225--226},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80392-5},
doi = {10.1016/S1571-0661(05)80392-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/2002,
editor = {Vasco Brattka and
Matthias Schr{\"{o}}der and
Klaus Weihrauch},
title = {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},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/66/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cca/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR02-014,
author = {Klaus Weihrauch},
title = {Computational Complexity on Computable Metric Spaces},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR02-014}},
year = {2002},
url = {https://eccc.weizmann.ac.il/eccc-reports/2002/TR02-014/index.html},
eprinttype = {ECCC},
eprint = {TR02-014},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR02-014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengW01,
author = {Xizhong Zheng and
Klaus Weihrauch},
title = {The Arithmetical Hierarchy of Real Numbers},
journal = {Math. Log. Q.},
volume = {47},
number = {1},
pages = {51--65},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200101)47:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-W},
doi = {10.1002/1521-3870(200101)47:1\&\#60;51::AID-MALQ51\&\#62;3.0.CO;2-W},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/WeihrauchZ01,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jie Wang},
title = {Turing Computability of a Nonlinear Schr{\"{o}}dinger Propagator},
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 = {596--600},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44679-6\_66},
doi = {10.1007/3-540-44679-6\_66},
timestamp = {Mon, 03 Aug 2020 14:08:01 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/WeihrauchZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/txtcs/Weihrauch00,
author = {Klaus Weihrauch},
title = {Computable Analysis - An Introduction},
series = {Texts in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-642-56999-9},
doi = {10.1007/978-3-642-56999-9},
isbn = {978-3-540-66817-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/txtcs/Weihrauch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/Ambos-SpiesWZ00,
author = {Klaus Ambos{-}Spies and
Klaus Weihrauch and
Xizhong Zheng},
title = {Weakly Computable Real Numbers},
journal = {J. Complex.},
volume = {16},
number = {4},
pages = {676--690},
year = {2000},
url = {https://doi.org/10.1006/jcom.2000.0561},
doi = {10.1006/JCOM.2000.0561},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/Ambos-SpiesWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchZ00,
author = {Klaus Weihrauch and
Xizhong Zheng},
title = {Computability on continuous, lower semi-continuous and upper semi-continuous
real functions},
journal = {Theor. Comput. Sci.},
volume = {234},
number = {1-2},
pages = {109--133},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00045-0},
doi = {10.1016/S0304-3975(98)00045-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch00,
author = {Klaus Weihrauch},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {On Computable Metric Spaces Tietze-Urysohn Extension Is Computable},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {357--368},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_21},
doi = {10.1007/3-540-45335-0\_21},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/WeihrauchZ00,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Is the Linear Schr{\"{o}}dinger Propagator Turing Computable?},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop,
{CCA} 2000, Swansea, UK, September 17-19, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2064},
pages = {369--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_22},
doi = {10.1007/3-540-45335-0\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/WeihrauchZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrattkaZW99,
author = {Vasco Brattka and
Xizhong Zheng and
Klaus Weihrauch},
title = {Approaches to Effective Semi-Continuity of Real Functions},
journal = {Math. Log. Q.},
volume = {45},
pages = {481--496},
year = {1999},
url = {https://doi.org/10.1002/malq.19990450407},
doi = {10.1002/MALQ.19990450407},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BrattkaZW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrattkaW99,
author = {Vasco Brattka and
Klaus Weihrauch},
title = {Computability on Subsets of Euclidean Space {I:} Closed and Compact
Subsets},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {65--93},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00284-9},
doi = {10.1016/S0304-3975(98)00284-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrattkaW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weihrauch99,
author = {Klaus Weihrauch},
title = {Computability on the Probability Measureson the Borel Sets of the
Unit Interval},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {421--437},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00298-9},
doi = {10.1016/S0304-3975(98)00298-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Weihrauch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchZ99,
author = {Klaus Weihrauch and
Xizhong Zheng},
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {439--450},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00299-0},
doi = {10.1016/S0304-3975(98)00299-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/WeihrauchZ99,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {The Wave Propagator Is Turing Computable},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {697--707},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_66},
doi = {10.1007/3-540-48523-6\_66},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/WeihrauchZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ZhengW99,
author = {Xizhong Zheng and
Klaus Weihrauch},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {The Arithmetical Hierarchy of Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {23--33},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_3},
doi = {10.1007/3-540-48340-3\_3},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ZhengW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/Weihrauch98,
author = {Klaus Weihrauch},
title = {A Refined Model of Computation for Continuous Problems},
journal = {J. Complex.},
volume = {14},
number = {1},
pages = {102--121},
year = {1998},
url = {https://doi.org/10.1006/jcom.1997.0465},
doi = {10.1006/JCOM.1997.0465},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/Weihrauch98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/BrattkaWZ98,
author = {Vasco Brattka and
Klaus Weihrauch and
Xizhong Zheng},
editor = {Wen{-}Lian Hsu and
Ming{-}Yang Kao},
title = {Approaches to Effective Semi-continuity of Real Functions},
booktitle = {Computing and Combinatorics, 4th Annual International Conference,
{COCOON} '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1449},
pages = {184--193},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68535-9\_22},
doi = {10.1007/3-540-68535-9\_22},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/BrattkaWZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HertlingW98,
author = {Peter Hertling and
Klaus Weihrauch},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Randomness Spaces},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {796--807},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055103},
doi = {10.1007/BFB0055103},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HertlingW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/BrattkaW98,
author = {Vasco Brattka and
Klaus Weihrauch},
editor = {Maurice Margenstern},
title = {Recursive and Recursively Enumerable Closed Subsets of Euclidean Space},
booktitle = {International Colloquium Universal Machines and Computations, MCU'98,
Metz, France, March 23-27, 1998, Proceedingsi, Volume {II}},
pages = {215--234},
publisher = {{IUT} Metz},
year = {1998},
timestamp = {Fri, 21 Apr 2006 09:44:02 +0200},
biburl = {https://dblp.org/rec/conf/mcu/BrattkaW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeihrauchZ98,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {A Finite Hierarchy of the Recursively Enumerable Real Numbers},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {798--806},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055831},
doi = {10.1007/BFB0055831},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeihrauchZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Weihrauch97,
author = {Klaus Weihrauch},
editor = {Christian Freksa and
Matthias Jantzen and
R{\"{u}}diger Valk},
title = {A Foundation for Computable Analysis},
booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to
Wilfried Brauer on the occasion of his sixtieth birthday},
series = {Lecture Notes in Computer Science},
volume = {1337},
pages = {185--199},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0052087},
doi = {10.1007/BFB0052087},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Weihrauch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/WeihrauchZ97,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Tao Jiang and
D. T. Lee},
title = {Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous
Real Functions},
booktitle = {Computing and Combinatorics, Third Annual International Conference,
{COCOON} '97, Shanghai, China, August 20-22, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1276},
pages = {166--175},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0045083},
doi = {10.1007/BFB0045083},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/WeihrauchZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/WeihrauchZ97,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {210--219},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026990},
doi = {10.1007/BFB0026990},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/WeihrauchZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Weihrauch97,
author = {Klaus Weihrauch},
editor = {Pierpaolo Degano and
Roberto Gorrieri and
Alberto Marchetti{-}Spaccamela},
title = {Computability on the Probability Measures on the Borel Sets of the
Unit Interval},
booktitle = {Automata, Languages and Programming, 24th International Colloquium,
ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1256},
pages = {166--176},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63165-8\_174},
doi = {10.1007/3-540-63165-8\_174},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Weihrauch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Weihrauch97,
author = {Klaus Weihrauch},
editor = {Frantisek Pl{\'{a}}sil and
Keith G. Jeffery},
title = {A Foundation for Computable Analysis},
booktitle = {{SOFSEM} '97: Theory and Practice of Informatics, 24th Seminar on
Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1338},
pages = {104--121},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63774-5\_100},
doi = {10.1007/3-540-63774-5\_100},
timestamp = {Mon, 26 Jun 2023 20:44:33 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Weihrauch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Weihrauch96,
author = {Klaus Weihrauch},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computability on the probability measures on the Borel sets of the
unit interval},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/weihrauch.ps},
timestamp = {Tue, 30 Jul 2019 14:53:11 +0200},
biburl = {https://dblp.org/rec/conf/cca/Weihrauch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/WeihrauchZ96,
author = {Klaus Weihrauch and
Xizhong Zheng},
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous
Real Functions},
booktitle = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/weihrauchzheng.ps},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/WeihrauchZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/KoW96,
author = {Ker{-}I Ko and
Klaus Weihrauch},
editor = {Steven Homer and
Jin{-}Yi Cai},
title = {On the Measure of Two-Dimensional Regions with Polynomial-Time computables
Boundaries},
booktitle = {Proceedings of the Eleveth Annual {IEEE} Conference on Computational
Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996},
pages = {150--159},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/CCC.1996.507677},
doi = {10.1109/CCC.1996.507677},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coco/KoW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmtcs/Weihrauch96,
author = {Klaus Weihrauch},
editor = {Douglas S. Bridges and
Cristian S. Calude and
Jeremy Gibbons and
Steve Reeves and
Ian H. Witten},
title = {A Foundation for Computable Analysis},
booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical
Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13,
1996},
pages = {66--89},
publisher = {Springer-Verlag, Singapore},
year = {1996},
timestamp = {Tue, 14 Apr 2015 20:10:07 +0200},
biburl = {https://dblp.org/rec/conf/dmtcs/Weihrauch96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cca/1996,
editor = {Ker{-}I Ko and
Norbert Th. M{\"{u}}ller and
Klaus Weihrauch},
title = {Second Workshop on Computability and Complexity in Analysis, {CCA}
1996, August 22-23, 1996, Trier, Germany},
series = {Technical Report},
volume = {{TR} 96-44},
publisher = {Unjiversity of Trier},
year = {1996},
url = {ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports/96-44/index.html},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Weihrauch95,
author = {Klaus Weihrauch},
title = {A Foundation of Computable Analysis},
journal = {Bull. {EATCS}},
volume = {57},
year = {1995},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Weihrauch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/HertlingW94,
author = {Peter Hertling and
Klaus Weihrauch},
title = {Levels of Degeneracy and Exact Lower Complexity Bounds for Geometric
Algorithms},
booktitle = {Proceedings of the 6th Canadian Conference on Computational Geometry,
Saskatoon, SK, Canada, August 1994},
pages = {237--242},
publisher = {University of Saskatchewan},
year = {1994},
timestamp = {Wed, 12 May 2021 14:19:37 +0200},
biburl = {https://dblp.org/rec/conf/cccg/HertlingW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weihrauch93,
author = {Klaus Weihrauch},
title = {Computability on Computable Metric Spaces},
journal = {Theor. Comput. Sci.},
volume = {113},
number = {1},
pages = {191--210},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90001-A},
doi = {10.1016/0304-3975(93)90001-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Weihrauch93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068043,
author = {Bernhard Heinemann and
Klaus Weihrauch},
title = {Logik f{\"{u}}r Informatiker - eine Einf{\"{u}}hrung},
series = {Leitf{\"{a}}den und Monographien der Informatik},
publisher = {Teubner},
year = {1991},
isbn = {978-3-519-02248-0},
timestamp = {Tue, 19 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0068043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/Weihrauch91,
author = {Klaus Weihrauch},
title = {On the complexity of online computations of real functions},
journal = {J. Complex.},
volume = {7},
number = {4},
pages = {380--394},
year = {1991},
url = {https://doi.org/10.1016/0885-064X(91)90026-T},
doi = {10.1016/0885-064X(91)90026-T},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/Weihrauch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchK91,
author = {Klaus Weihrauch and
Christoph Kreitz},
title = {Type 2 Computational Complexity of Functions on Cantor's Space},
journal = {Theor. Comput. Sci.},
volume = {82},
number = {1},
pages = {1--18},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90168-2},
doi = {10.1016/0304-3975(91)90168-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/constructivity/Weihrauch91,
author = {Klaus Weihrauch},
editor = {J. Paul Myers Jr. and
Michael J. O'Donnell},
title = {A Simple and Powerful Approach for Studying Constructivity, Computability,
and Complexity},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio,
Texas, USA, June 19-22, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {613},
pages = {228--246},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0021094},
doi = {10.1007/BFB0021094},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/constructivity/Weihrauch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Weihrauch89,
author = {Klaus Weihrauch},
editor = {J{\'{a}}nos Csirik and
J{\'{a}}nos Demetrovics and
Ferenc G{\'{e}}cseg},
title = {Constructivity, Computability, and Computational Complexity in Analysis},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'89,
Szeged, Hungary, August 21-25, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {380},
pages = {480--493},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51498-8\_47},
doi = {10.1007/3-540-51498-8\_47},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Weihrauch89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/Weihrauch87,
author = {Klaus Weihrauch},
title = {Computability},
series = {{EATCS} Monographs on Theoretical Computer Science},
volume = {9},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-69965-8},
doi = {10.1007/978-3-642-69965-8},
isbn = {978-3-642-69967-2},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/Weihrauch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WeihrauchK87,
author = {Klaus Weihrauch and
Christoph Kreitz},
title = {Representations of the real numbers and of the open subsets of the
set of real numbers},
journal = {Ann. Pure Appl. Log.},
volume = {35},
pages = {247--260},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90065-0},
doi = {10.1016/0168-0072(87)90065-0},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/WeihrauchK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KreitzW87,
author = {Christoph Kreitz and
Klaus Weihrauch},
title = {Compactness in constructive analysis revisited},
journal = {Ann. Pure Appl. Log.},
volume = {36},
pages = {29--38},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90010-8},
doi = {10.1016/0168-0072(87)90010-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KreitzW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weihrauch85,
author = {Klaus Weihrauch},
title = {Type 2 Recursion Theory},
journal = {Theor. Comput. Sci.},
volume = {38},
pages = {17--33},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90207-5},
doi = {10.1016/0304-3975(85)90207-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Weihrauch85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KreitzW85,
author = {Christoph Kreitz and
Klaus Weihrauch},
title = {Theory of Representations},
journal = {Theor. Comput. Sci.},
volume = {38},
pages = {35--53},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90208-7},
doi = {10.1016/0304-3975(85)90208-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KreitzW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchS83,
author = {Klaus Weihrauch and
Gisela Sch{\"{a}}fer},
title = {Admissible Representations of Effective CPO's},
journal = {Theor. Comput. Sci.},
volume = {26},
pages = {131--147},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90083-X},
doi = {10.1016/0304-3975(83)90083-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/KreitzW83,
author = {Christoph Kreitz and
Klaus Weihrauch},
editor = {Armin B. Cremers and
Hans{-}Peter Kriegel},
title = {Complexity theory on real numbers and functions},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany,
January 5-7, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {145},
pages = {165--174},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/BFb0009642},
doi = {10.1007/BFB0009642},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/tcs/KreitzW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WeihrauchS81,
author = {Klaus Weihrauch and
Ulrich Schreiber},
title = {Embedding Metric Spaces Into CPO's},
journal = {Theor. Comput. Sci.},
volume = {16},
pages = {5--24},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90027-X},
doi = {10.1016/0304-3975(81)90027-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WeihrauchS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/WeihrauchS81,
author = {Klaus Weihrauch and
Gisela Sch{\"{a}}fer},
editor = {Jozef Gruska and
Michal Chytil},
title = {Admissible Representations of Effective CPO's},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {544--553},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_123},
doi = {10.1007/3-540-10856-4\_123},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/WeihrauchS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/Weihrauch81,
author = {Klaus Weihrauch},
editor = {Peter Deussen},
title = {Recursion and Complexity Theory on {CPO-S}},
booktitle = {Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany,
March 23-25, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {104},
pages = {195--202},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/BFb0017311},
doi = {10.1007/BFB0017311},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/tcs/Weihrauch81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/ReiserW80,
author = {Angelika Reiser and
Klaus Weihrauch},
title = {Natural Numberings and Generalized Computability},
journal = {J. Inf. Process. Cybern.},
volume = {16},
number = {1-3},
pages = {11--20},
year = {1980},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/ReiserW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tcs/1979,
editor = {Klaus Weihrauch},
title = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
March 26-28, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {67},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09118-1},
doi = {10.1007/3-540-09118-1},
isbn = {3-540-09118-1},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tcs/1979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VerbeekW78,
author = {Rutger Verbeek and
Klaus Weihrauch},
title = {Data Representation and Computational Complexity},
journal = {Theor. Comput. Sci.},
volume = {7},
pages = {99--116},
year = {1978},
url = {https://doi.org/10.1016/0304-3975(78)90042-7},
doi = {10.1016/0304-3975(78)90042-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/VerbeekW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Weihrauch77,
author = {Klaus Weihrauch},
editor = {Marek Karpinski},
title = {A Genralized Computability Thesis},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International
FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
1977},
series = {Lecture Notes in Computer Science},
volume = {56},
pages = {538--542},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08442-8\_126},
doi = {10.1007/3-540-08442-8\_126},
timestamp = {Mon, 02 Sep 2019 13:37:20 +0200},
biburl = {https://dblp.org/rec/conf/fct/Weihrauch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Weihrauch77,
author = {Klaus Weihrauch},
editor = {Jozef Gruska},
title = {A Generalized Computability Thesis (Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium,
Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {53},
pages = {570},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08353-7\_181},
doi = {10.1007/3-540-08353-7\_181},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Weihrauch77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Weihrauch76,
author = {Klaus Weihrauch},
title = {The Computational Complexity of Program Schemata},
journal = {J. Comput. Syst. Sci.},
volume = {12},
number = {1},
pages = {80--107},
year = {1976},
url = {https://doi.org/10.1016/S0022-0000(76)80020-7},
doi = {10.1016/S0022-0000(76)80020-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Weihrauch76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/VerbeekW76,
author = {Rutger Verbeek and
Klaus Weihrauch},
editor = {Antoni W. Mazurkiewicz},
title = {The Influence of the Data Presentation on the Computational POwer
of Machines},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {551--558},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_228},
doi = {10.1007/3-540-07854-1\_228},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/VerbeekW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/HenkeRIW75,
author = {Friedrich W. von Henke and
G. Rose and
Klaus Indermark and
Klaus Weihrauch},
title = {On primitive recursive wordfunctions},
journal = {Computing},
volume = {15},
number = {3},
pages = {217--234},
year = {1975},
url = {https://doi.org/10.1007/BF02242369},
doi = {10.1007/BF02242369},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/HenkeRIW75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Weihrauch75,
author = {Klaus Weihrauch},
title = {Program Schemata with Polynomial Bounded Counters},
journal = {Inf. Process. Lett.},
volume = {3},
number = {3},
pages = {91--96},
year = {1975},
url = {https://doi.org/10.1016/0020-0190(75)90024-1},
doi = {10.1016/0020-0190(75)90024-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Weihrauch75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Weihrauch74,
author = {Klaus Weihrauch},
editor = {Jacques Loeckx},
title = {The Compuational Complexity of Program Schemata},
booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of
Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14},
pages = {326--334},
publisher = {Springer},
year = {1974},
url = {https://doi.org/10.1007/3-540-06841-4\_71},
doi = {10.1007/3-540-06841-4\_71},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Weihrauch74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0046489,
author = {Tiko Kameda and
Klaus Weihrauch},
title = {Einf{\"{u}}hrung in die Codierungstheorie {I}},
series = {Skripten zur Informatik},
volume = {7},
publisher = {BI-Wissenschaftsverlag},
year = {1973},
isbn = {978-3-411-00783-7},
timestamp = {Thu, 19 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0046489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/RoseW73,
author = {G. Rose and
Klaus Weihrauch},
editor = {Karl{-}Heinz B{\"{o}}hling and
Klaus Indermark},
title = {A characterization of the classes {L1} and {R1} of primitive recursive
wordfunctions},
booktitle = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
series = {Lecture Notes in Computer Science},
volume = {2},
pages = {263--266},
publisher = {Springer},
year = {1973},
url = {https://doi.org/10.1007/BFb0039163},
doi = {10.1007/BFB0039163},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/RoseW73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HenkeW72,
author = {Friedrich W. von Henke and
Klaus Weihrauch},
editor = {Peter Deussen},
title = {Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen},
booktitle = {Gesellschaft f{\"{u}}r Informatik e.V., 2. Jahrestagung, Karlsruhe,
Deutschland, 2.-4. Oktober 1972},
series = {Lecture Notes in Economics and Mathematical Systems},
volume = {78},
pages = {63--71},
publisher = {Springer},
year = {1972},
url = {https://doi.org/10.1007/978-3-642-80732-9\_6},
doi = {10.1007/978-3-642-80732-9\_6},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/HenkeW72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenkeIW72,
author = {Friedrich W. von Henke and
Klaus Indermark and
Klaus Weihrauch},
editor = {Maurice Nivat},
title = {Hierarchies of Primitive Recursive Wordfunctions and Transductions
Defined by Automata},
booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July
3-7, 1972},
pages = {549--561},
publisher = {North-Holland, Amsterdam},
year = {1972},
timestamp = {Mon, 08 Jul 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenkeIW72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-25 01:19 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:
