Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{bauer_et_al:OASIcs.CCA.2009,
title = {{OASIcs, Volume 11, CCA'09, Complete Volume}},
booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-12-5},
ISSN = {2190-6807},
year = {2012},
volume = {11},
editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009},
URN = {urn:nbn:de:0030-drops-35738},
doi = {10.4230/OASIcs.CCA.2009},
annote = {Keywords: Mathematics of Computing, Analysis of Algorithms and Problem Complexity}
}
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bauer_et_al:OASIcs.CCA.2009.2248,
author = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
title = {{CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis}},
booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)},
pages = {i--ii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-12-5},
ISSN = {2190-6807},
year = {2009},
volume = {11},
editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2248},
URN = {urn:nbn:de:0030-drops-22486},
doi = {10.4230/OASIcs.CCA.2009.2248},
annote = {Keywords: Computable analysis, computability, complexity, Turing machine, constructive mathematics, real number computation, computer arithmetic, exact real ari}
}
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
Andrej Bauer, Peter Hertling, and Ker-I Ko. CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{bauer_et_al:OASIcs.CCA.2009.2249,
author = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
title = {{CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis}},
booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)},
pages = {1--1},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-12-5},
ISSN = {2190-6807},
year = {2009},
volume = {11},
editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2249},
URN = {urn:nbn:de:0030-drops-22492},
doi = {10.4230/OASIcs.CCA.2009.2249},
annote = {Keywords: Computable analysis, computability, complexity, Turing machine, constructive mathematics, real number computation, computer arithmetic, exact real ari}
}
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Ker-I Ko, Anil Nerode, and Klaus Weihrauch. Computability and Complexity in Analysis (Dagstuhl Seminar 99461). Dagstuhl Seminar Report 259, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
@TechReport{ko_et_al:DagSemRep.259,
author = {Ko, Ker-I and Nerode, Anil and Weihrauch, Klaus},
title = {{Computability and Complexity in Analysis (Dagstuhl Seminar 99461)}},
pages = {1--20},
ISSN = {1619-0203},
year = {2000},
type = {Dagstuhl Seminar Report},
number = {259},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.259},
URN = {urn:nbn:de:0030-drops-151448},
doi = {10.4230/DagSemRep.259},
}
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Ker-I Ko, Anil Nerode, and Klaus Weihrauch. Computability and Complexity in Analysis (Dagstuhl Seminar 9717). Dagstuhl Seminar Report 176, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)
@TechReport{ko_et_al:DagSemRep.176,
author = {Ko, Ker-I and Nerode, Anil and Weihrauch, Klaus},
title = {{Computability and Complexity in Analysis (Dagstuhl Seminar 9717)}},
pages = {1--22},
ISSN = {1619-0203},
year = {1997},
type = {Dagstuhl Seminar Report},
number = {176},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.176},
URN = {urn:nbn:de:0030-drops-150630},
doi = {10.4230/DagSemRep.176},
}
Feedback for Dagstuhl Publishing