Bibliography on Computability, Complexity and Constructivity in Analysis

[   About   |  Browse   |   Statistics   ]

Number of references:	932	Last update:	June 1, 2004
Number of online publications:	0	Supported:	yes
Most recent reference:	April 2004

Search the bibliography

Information on the Bibliography

Author:

Vasco Brattka <Vasco . Brattka @ FernUni-Hagen . de> (email mangled to prevent spamming)
Theoretische Informatik 1
FernUniverstität Hagen
58084 Hagen
Germany

Copyright:

Vasco Brattka, FernUniversität Hagen

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://www.informatik.fernuni-hagen.de/cca/

Keywords:

computability, complexity, constructivity, analysis

Browsing the bibliography

• Original source:

  http://www.informatik.fernuni-hagen.de... (Format: bibtex)

  Other sites:

  http://www.informatik.fernuni-hagen.de... (Format: html)
  

Bibliographic Statistics

Types:

article(559), inproceedings(255), techreport(38), book(36), phdthesis(28), incollection(8), proceedings(7), unpublished(1)

Fields:

title(932), year(931), author(923), pages(798), volume(759), journal(561), note(292), publisher(281), address(268), booktitle(263), number(262), editor(247), series(226), month(90), type(45), institution(38), school(28), organization(6), edition(2)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.