Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
E74102
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing is a 1985 ACM conference volume collecting influential research papers in theoretical computer science, including foundational work on topics such as interactive proof systems and computational complexity.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| STOC 1985 Proceedings | 1 |
| Seventeenth Annual ACM Symposium on Theory of Computing | 1 |
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
academic book
ⓘ
conference proceedings ⓘ edited volume ⓘ |
| abbreviation |
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
self-linksurface differs
ⓘ
surface form:
STOC 1985 Proceedings
|
| academicDiscipline | theoretical computer science ⓘ |
| associatedWith |
ACM Special Interest Group
ⓘ
surface form:
ACM Special Interest Group on Algorithms and Computation Theory
SIGACT ⓘ |
| basedOnEvent |
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
self-linksurface differs
ⓘ
surface form:
Seventeenth Annual ACM Symposium on Theory of Computing
|
| category | conference proceedings in computer science ⓘ |
| citationType | primary research literature ⓘ |
| contains |
conference papers
ⓘ
influential research papers ⓘ research papers ⓘ |
| countryOfPublication |
United States of America
ⓘ
surface form:
United States
|
| documentType | peer-reviewed conference proceedings ⓘ |
| eventSeries | ACM Symposium on Theory of Computing ⓘ |
| field |
computer science
ⓘ
theoretical computer science ⓘ |
| focus | foundational results in theoretical computer science ⓘ |
| hasEditionNumber | 17 ⓘ |
| intendedAudience |
graduate students in computer science
ⓘ
researchers in theoretical computer science ⓘ |
| isAbout |
computational complexity classes
ⓘ
formal models of computation ⓘ proof systems in computation ⓘ theory of computation ⓘ |
| isPartOfSeries |
ACM Symposium on Theory of Computing
ⓘ
surface form:
STOC conference proceedings
|
| language | English ⓘ |
| medium |
digital
ⓘ
print ⓘ |
| organization | Association for Computing Machinery ⓘ |
| publicationYear | 1985 ⓘ |
| publisher |
ACM
ⓘ
Association for Computing Machinery ⓘ |
| seriesOrdinal | 17 ⓘ |
| timePeriod | 1980s theoretical computer science research ⓘ |
| title | Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing self-link ⓘ |
| topic |
algorithms
ⓘ
complexity theory ⓘ computational complexity ⓘ computational lower bounds ⓘ computational models ⓘ interactive proof systems ⓘ randomized computation ⓘ |
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
→
abbreviation
→
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
self-linksurface differs
ⓘ
this entity surface form:
STOC 1985 Proceedings
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
→
basedOnEvent
→
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
self-linksurface differs
ⓘ
this entity surface form:
Seventeenth Annual ACM Symposium on Theory of Computing
The Knowledge Complexity of Interactive Proof Systems
→
publishedIn
→
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
ⓘ
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
→
title
→
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
self-link
ⓘ