The Collection of
Computer Science Bibliographies

Bibliography on Computability, Complexity and Constructivity in Analysis

[   About   |  Browse   |   Statistics   ]

Number of references:2299Last update:October 26, 2020
Number of online publications:0Supported:yes
Most recent reference:February 2020

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Vasco Brattka <Vasco . Brattka @ cca-net . de> (email mangled to prevent spamming)
Institute for Theoretical Computer Science,
Mathematics and Operations Research
Faculty of Computer Science
Universität der Bundeswehr München
Werner-Heisenberg-Weg 39
85577 Neubiberg, Germany
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(1453), inproceedings(604), phdthesis(82), incollection(77), book(56), proceedings(27)
title(2299), year(2299), author(2268), pages(2102), volume(1998), journal(1455), number(933), publisher(732), doi(686), doi-url(686), booktitle(681), series(598), address(578), editor(538), note(481), month(110), school(82), edition(5)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!