The Collection of
Computer Science Bibliographies

Bibliography on Computability, Complexity and Constructivity in Analysis

Number of references:	1357	Last update:	August 19, 2008
Number of online publications:	2	Supported:	yes
Most recent reference:	2008

Author:: Vasco Brattka <BrattkaV @ maths . uct . ac . za> (email mangled to prevent spamming)
Laboratory of Foundational Aspects of Computer Science
Department of Mathematics & Applied Mathematics
University of Cape Town
Private Bag
Rondebosch 7701
South Africa
Copyright:: Vasco Brattka
Abstract:: This is a bibliography on Constructivity, Computability and Complexity in Analysis which contains references to papers based on classical logic ("computable analysis") as well as to papers based on intuitionistic logic ("constructive analysis"). The bibliography is far from beeing complete, but it is supposed to grow continuously. It is part of the CCA Network: http://cca-net.de/
Keywords:: computability, complexity, constructivity, analysis

Original source:

http://cca-net.de... (Format: bibtex)
Other sites:

http://cca-net.de... (Format: html)

Types:: article(820), inproceedings(384), phdthesis(41), book(39), techreport(37), incollection(21), proceedings(14), unpublished(1)
Fields:: title(1357), year(1357), author(1341), pages(1200), volume(1155), journal(822), number(460), publisher(431), note(421), booktitle(405), editor(392), address(385), series(361), month(97), type(45), school(41), institution(37), organization(6), edition(2)
Distribution of publication dates: