Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs120.bht:"
download as .bib file
@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}
}
@inproceedings{DBLP:journals/entcs/Brattka05,
author = {Vasco Brattka},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {On the Borel Complexity of Hahn-Banach Extensions},
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 = {3--16},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.011},
doi = {10.1016/J.ENTCS.2004.07.011},
timestamp = {Fri, 09 Dec 2022 13:20:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Brattka05.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrattkaSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Braverman05,
author = {Mark Braverman},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Hyperbolic Julia Sets are Poly-Time Computable},
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 = {17--30},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.031},
doi = {10.1016/J.ENTCS.2004.06.031},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Braverman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BridgesV05,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {A General Constructive Proof Technique},
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 = {31--43},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.032},
doi = {10.1016/J.ENTCS.2004.06.032},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BridgesV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChouK05,
author = {Arthur W. Chou and
Ker{-}I Ko},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {On the Complexity of Finding Paths in a Two-Dimensional Domain {II:}
Piecewise Straight-Line Paths},
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 = {45--57},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.033},
doi = {10.1016/J.ENTCS.2004.06.033},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChouK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hemmerling05,
author = {Armin Hemmerling},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Hierarchies of Function Classes Defined by the First-Value Operator:
(Extended Abstract)},
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 = {59--72},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.034},
doi = {10.1016/J.ENTCS.2004.06.034},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hemmerling05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kamo05,
author = {Hiroyasu Kamo},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Effective Dini's Theorem on Effectively Compact Metric Spaces},
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 = {73--82},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.035},
doi = {10.1016/J.ENTCS.2004.06.035},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kamo05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kawamura05,
author = {Akitoshi Kawamura},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Type-2 Computability and Moore's Recursive 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 = {83--95},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.036},
doi = {10.1016/J.ENTCS.2004.06.036},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kawamura05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kenny05,
author = {Robert J. Kenny},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Orbit Complexity and Entropy for Group Endomorphisms: (Extended Abstract)},
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 = {97--110},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.037},
doi = {10.1016/J.ENTCS.2004.06.037},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kenny05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KunkleS05,
author = {Daren Kunkle and
Matthias Schr{\"{o}}der},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Some Examples of Non-Metrizable Spaces Allowing a Simple Type-2 Complexity
Theory},
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 = {111--123},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.038},
doi = {10.1016/J.ENTCS.2004.06.038},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/KunkleS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lambov05,
author = {Branimir Lambov},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Rates of Convergence of Recursively Defined Sequences},
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 = {125--133},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.039},
doi = {10.1016/J.ENTCS.2004.06.039},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lambov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Raichev05,
author = {Alexander Raichev},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Relative Randomness and Real Closed Fields},
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 = {135--143},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.040},
doi = {10.1016/J.ENTCS.2004.06.040},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Raichev05.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rettinger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selivanov05,
author = {Victor L. Selivanov},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Variations on Wadge Reducibility Extended Abstract},
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 = {159--171},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.042},
doi = {10.1016/J.ENTCS.2004.06.042},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selivanov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Takeuti05,
author = {Izumi Takeuti},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Transition Systems over Continuous Time-Space},
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 = {173--186},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.043},
doi = {10.1016/J.ENTCS.2004.06.043},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Takeuti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TsujiiYM05,
author = {Yoshiki Tsujii and
Mariko Yasugi and
Takakazu Mori},
editor = {Vasco Brattka and
Ludwig Staiger and
Klaus Weihrauch},
title = {Sequential Computability of a Function: Diagonal Space and Limiting
Recursion},
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 = {187--199},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.044},
doi = {10.1016/J.ENTCS.2004.06.044},
timestamp = {Fri, 09 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TsujiiYM05.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}
}
@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}
}
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.
retrieved on 2024-05-27 20:28 CEST from data curated 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:
