The topology of provability in complexity theory

Kenneth W. Regan

doi:10.1007/3-540-16486-3_106

The topology of provability in complexity theory

Kenneth W. Regan

Department of Computer Science and Engineering

University at Buffalo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Original language	English
Title of host publication	Structure in Complexity Theory - Proceedings of the Conference held at the University of California
Editors	Alan L. Selman
Publisher	Springer Verlag
Pages	291-310
Number of pages	20
ISBN (Print)	9783540164869
DOIs	https://doi.org/10.1007/3-540-16486-3_106
State	Published - 1986
Event	Structure in Complexity Theory Conference, 1986 - Berkeley, United States Duration: Jun 2 1986 → Jun 5 1986

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	223 LNCS

Conference

Conference	Structure in Complexity Theory Conference, 1986
Country/Territory	United States
City	Berkeley
Period	06/2/86 → 06/5/86

Access to Document

10.1007/3-540-16486-3_106

Cite this

Regan, K. W. (1986). The topology of provability in complexity theory. In A. L. Selman (Ed.), Structure in Complexity Theory - Proceedings of the Conference held at the University of California (pp. 291-310). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 223 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-16486-3_106

@inproceedings{e58cbb032c284da9981f8dcdaf758d80,

title = "The topology of provability in complexity theory",

author = "Regan, \{Kenneth W.\}",

year = "1986",

doi = "10.1007/3-540-16486-3\_106",

language = "English",

isbn = "9783540164869",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "291--310",

editor = "Selman, \{Alan L.\}",

booktitle = "Structure in Complexity Theory - Proceedings of the Conference held at the University of California",

address = "Germany",

note = "Structure in Complexity Theory Conference, 1986 ; Conference date: 02-06-1986 Through 05-06-1986",

}

Regan, KW 1986, The topology of provability in complexity theory. in AL Selman (ed.), Structure in Complexity Theory - Proceedings of the Conference held at the University of California. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 223 LNCS, Springer Verlag, pp. 291-310, Structure in Complexity Theory Conference, 1986, Berkeley, United States, 06/2/86. https://doi.org/10.1007/3-540-16486-3_106

The topology of provability in complexity theory. / Regan, Kenneth W.
Structure in Complexity Theory - Proceedings of the Conference held at the University of California. ed. / Alan L. Selman. Springer Verlag, 1986. p. 291-310 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 223 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The topology of provability in complexity theory

AU - Regan, Kenneth W.

PY - 1986

Y1 - 1986

UR - https://www.scopus.com/pages/publications/84981396377

U2 - 10.1007/3-540-16486-3_106

DO - 10.1007/3-540-16486-3_106

M3 - Conference contribution

SN - 9783540164869

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 291

EP - 310

BT - Structure in Complexity Theory - Proceedings of the Conference held at the University of California

A2 - Selman, Alan L.

PB - Springer Verlag

T2 - Structure in Complexity Theory Conference, 1986

Y2 - 2 June 1986 through 5 June 1986

ER -

Regan KW. The topology of provability in complexity theory. In Selman AL, editor, Structure in Complexity Theory - Proceedings of the Conference held at the University of California. Springer Verlag. 1986. p. 291-310. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-16486-3_106

The topology of provability in complexity theory

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this