The Collection of
Computer Science Bibliographies

Bibliography on Computability, Complexity and Constructivity in Analysis

[   About   |  Browse   |   Statistics   ]

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

Information on the Bibliography

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
Vasco Brattka
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:
computability, complexity, constructivity, analysis

Browsing the bibliography

Bibliographic Statistics

article(820), inproceedings(384), phdthesis(41), book(39), techreport(37), incollection(21), proceedings(14), unpublished(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!