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/conf/cca/cca2000.bht:"
download as .bib file
@proceedings{DBLP:conf/cca/2000,
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {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},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45335-0},
doi = {10.1007/3-540-45335-0},
isbn = {3-540-42197-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Blanck00,
author = {Jens Blanck},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effectivity of Regular Spaces},
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 = {1--15},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_1},
doi = {10.1007/3-540-45335-0\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/cca/Blanck00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Blanck00a,
author = {Jens Blanck},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Exact Real Arithmetic Systems: Results of Competition},
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 = {389--394},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_24},
doi = {10.1007/3-540-45335-0\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Blanck00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/DunlopP00,
author = {Anthony J. Dunlop and
Marian Boykan Pour{-}El},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The Degree of Unsolvability of a Real Number},
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 = {16--29},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_2},
doi = {10.1007/3-540-45335-0\_2},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/DunlopP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/GowlandL00,
author = {Paul Gowland and
David R. Lester},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Survey of Exact Arithmetic Implementations},
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 = {30--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_3},
doi = {10.1007/3-540-45335-0\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/GowlandL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hemmerling00,
author = {Armin Hemmerling},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Standard Representations of Effective Metric Spaces},
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 = {48--68},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_4},
doi = {10.1007/3-540-45335-0\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hemmerling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Hertling00,
author = {Peter Hertling},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Banach-Mazur Computable Functions on Metric Spaces},
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 = {69--81},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_5},
doi = {10.1007/3-540-45335-0\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Hertling00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/HurD00,
author = {Namhyun Hur and
James H. Davenport},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Generic Root Operation for Exact Real Arithmetic},
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 = {82--87},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_6},
doi = {10.1007/3-540-45335-0\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/HurD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kamo00,
author = {Hiroyasu Kamo},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effective Contraction Theorem and Its Application},
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 = {88--100},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_7},
doi = {10.1007/3-540-45335-0\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kamo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kapoulas00,
author = {George Kapoulas},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Polynomially Time Computable Functions over p-Adic Fields},
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 = {101--118},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_8},
doi = {10.1007/3-540-45335-0\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kapoulas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Kohlenbach00,
author = {Ulrich Kohlenbach},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {On the Computational Content of the Krasnoselski and Ishikawa Fixed
Point Theorems},
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 = {119--145},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_9},
doi = {10.1007/3-540-45335-0\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Kohlenbach00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/KorovinaK00,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Formalisation of Computability of Operators and Real-Valued Functionals
via Domain Theory},
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 = {146--168},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_10},
doi = {10.1007/3-540-45335-0\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/KorovinaK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Krznaric00,
author = {Marko Krznaric},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computing a Required Absolute Precision from a Stream of Linear Fractional
Transformations},
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 = {169--186},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_11},
doi = {10.1007/3-540-45335-0\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Krznaric00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/MeyssonnierBV00,
author = {Charles Meyssonnier and
Paolo Boldi and
Sebastiano Vigna},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {delta-Approximable Functions},
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 = {187--199},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_12},
doi = {10.1007/3-540-45335-0\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/MeyssonnierBV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Mori00,
author = {Takakazu Mori},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computabilities of Fine-Continuous Functions},
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 = {200--221},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_13},
doi = {10.1007/3-540-45335-0\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Mori00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Muller00,
author = {Norbert Th. M{\"{u}}ller},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The iRRAM: Exact Arithmetic in {C++}},
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 = {222--252},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_14},
doi = {10.1007/3-540-45335-0\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Muller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Richardson00,
author = {Daniel Richardson},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {The Uniformity Conjecture},
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 = {253--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_15},
doi = {10.1007/3-540-45335-0\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Richardson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Schroder00,
author = {Matthias Schr{\"{o}}der},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Admissible Representations of Limit Spaces},
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 = {273--295},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_16},
doi = {10.1007/3-540-45335-0\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Schroder00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Skordev00,
author = {Dimiter Skordev},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Characterization of the Computable Real Numbers by Means of Primitive
Recursive Functions},
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 = {296--309},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_17},
doi = {10.1007/3-540-45335-0\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Skordev00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Takeuti00,
author = {Izumi Takeuti},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Effective Fixed Point Theorem over a Non-computably Separable Metric
Space},
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 = {310--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_18},
doi = {10.1007/3-540-45335-0\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Takeuti00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/Tsuiki00,
author = {Hideki Tsuiki},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Computational Dimension of Topological Spaces},
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 = {323--335},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_19},
doi = {10.1007/3-540-45335-0\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/Tsuiki00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cca/TsujiiYM00,
author = {Yoshiki Tsujii and
Mariko Yasugi and
Takakazu Mori},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {Some Properties of the Effective Uniform Topological Space},
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 = {336--356},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_20},
doi = {10.1007/3-540-45335-0\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/TsujiiYM00.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 = {Mon, 22 May 2017 01:00:00 +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}
}
@inproceedings{DBLP:conf/cca/ZieglerB00,
author = {Martin Ziegler and
Vasco Brattka},
editor = {Jens Blanck and
Vasco Brattka and
Peter Hertling},
title = {A Computable Spectral Theorem},
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 = {378--388},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45335-0\_23},
doi = {10.1007/3-540-45335-0\_23},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cca/ZieglerB00.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-28 01:53 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:
