Proceedings of the sixth annual Structure in Complexity Theory Conference: June 30 - July 3, 1991, University of Chicago, Chicago, Illinois
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben Nebentitel: Structure in complexity theory. -Nebent.: IEEE structure in complexity theory |
| Beschreibung: | VIII, 390 S. |
| ISBN: | 0818622555 0818622563 0818622571 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006149820 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930129s1991 xx |||| 10||| engod | ||
| 020 | |a 0818622555 |9 0-8186-2255-5 | ||
| 020 | |a 0818622563 |9 0-8186-2256-3 | ||
| 020 | |a 0818622571 |9 0-8186-2257-1 | ||
| 035 | |a (OCoLC)24510367 | ||
| 035 | |a (DE-599)BVBBV006149820 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-739 |a DE-20 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA267.7 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a DAT 517f |2 stub | ||
| 111 | 2 | |a Structure in Complexity Theory Conference |n 6 |d 1991 |c Chicago, Ill. |j Verfasser |0 (DE-588)5059522-2 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the sixth annual Structure in Complexity Theory Conference |b June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| 246 | 1 | 3 | |a IEEE structure in complexity theory |
| 246 | 1 | 3 | |a Structure in complexity theory |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1991 | |
| 300 | |a VIII, 390 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 500 | |a Nebentitel: Structure in complexity theory. -Nebent.: IEEE structure in complexity theory | ||
| 650 | 4 | |a Complexité de calcul (Informatique) - Congrès | |
| 650 | 7 | |a Complexité de calcul (informatique) - Congrès |2 ram | |
| 650 | 7 | |a complexité calcul |2 inriac | |
| 650 | 7 | |a théorie complexité |2 inriac | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Chicago Ill. |2 gnd-content | |
| 689 | 0 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003888807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003888807 | |
Datensatz im Suchindex
| _version_ | 1820868103472414720 |
|---|---|
| adam_text |
Table
of Contents
Foreword
.
,v
Conference Organization
., vi
Session
1
Counting Classes Are at Least as Hard as the Polynomial-Time Hierarchy
. 2
5.
Toda
and
M
.
Ogtwara
PP Is Closed under Truth-Table Reductions
.13
L. For tnow andN.
Reingold
A Complexity Theory for Feasible Closure Properties
.16
M. Ogiwara and LA. Hemachandra
Gap-Definable Counting Classes
.30
SA. Fenner,
L J. Fortnow, and
SA.
Kurtz
The Power of Witness Reduction
.43
S. Gupta
Session
2
Bounded Queries in Recursion Theory: A Survey
.62
W. Gasarch
On Reductions of NP Sets to Sparse Sets
.79
S. Homer and
L. Longpré
On the Computational Complexity of Small Descriptions
.89
R. Gavaldá
and
0.
Watanabe
Complexity Classes and Sparse Oracles
.102
D.P. Bovet, P. Crescenzi, andR.
Silvestri
Session
3
PSPACE Is Provable by Two
Provers
in One Round
.110
J.-Y.
Cai,
A. Condon, andR. Upton
On the Success Probabiliiy of the Two
Provers
in One-Round Proof Systems
.116
U
. Feige
On the
Random-Sełf-Reducibility
of Complete Sets
.124
J.
Feigenbaum
and
L.
Fortnow
One-Way Functions, Hard-on-Average Problems, and Statistical Zero-Knowledge Proofs
.133
R. Ostrovsky
On One-Query, Self-Reducible Sets
. . 139
M. Ogiwara and
A. Lozano
Session
4
Combinatorics and Kolmogorov Complexity
. .154
M. U
and PMJB.
Vitányi
The Complexity of Malign Ensembles
. . .164
PJB. MUtersen
Randomized vs. Deterministic Decision Tree Complexity for Read-Once Boolean Functions
.172
R.
Heimen
and A. Wigderson
On the Monte
Cario
Boolean Decision Tree Complexity of Read-Once Formulae.
.180
M.Santha
Session 5
A Pseudorandom Oracle Characterization of BPP
.190
JM.
Lutz
Notions of Resource-Bounded Category and
Genericky
. 196
SA. Fenner
BPP Has Subexponential Time Simulations unless EXPTIME Has Publishable Proofs
.213
L.
Babai,
L.
Fortnow,
N.
Nisan, and A. Wigderson
Relating Equivalence and Reducibility to Sparse Sets
.220
E. Attender,
LA. Hemacnandra, M. Ogiwara, and O. Watanabe
Exponential Time and Subexponential Time Sets
.230
S. Tang, B.
Fu,
and T. Liu
Session
6
Adaptive
Logspace
and Depth-Bounded Reducibffities
.240
JŁ.
Balcázar
Connections between the Complexity of Unique Satisfiability and the Threshold Behavior
of Randomized Reductions
. 255
R. Chang, J. Kadin, and P. Rohatgi
Counting Auxiliary Pushdown Automata and Semi-Unbounded Arithmetic Circuits
.270
V. Vinay
Degree Complexity of Boolean Functions and
Ite
Applications to Relativized Separations
.285
/.
Tarui
The Perceptron Strikes Back
.286
R. Beigel,
N. Reingold,
and D. Spielman
Session
7
Monotone Separation of
Logspace
from JVC1
.294
M. Grigni andM. Sipser
Super-Logarithmic Depth Lower Bounds via Direct Sum in Communication Complexity
.299
M. Karchmer,
R. Raz,
and A. Wigderson
Superlinear
Lower Bounds for Bounded-Width Branching Programs
.305
DAMix
Barrington
and H. Straubing
Geometric Arguments Yield Better Bounds for Threshold Circuits and Distributed Computing
.314
M.
Krause
Lower Bounds
witìi
Smaller Domain Size on Concurrent Write Parallel Machines
.322
J.Edmonds
Session
8
.334
N.
Immerman
Capturing Complexity Classes by Fragments of Second Order Logic
.341
E.
Grådel
Approximation Properties of NP Minimization Classes
.353
P.G.
Kolatös
and
MN.
Thakur
Approximation and Small Depth
Frege
Proofs
. 367
5.
Bellanioni, T. Pitassi, and A. Urqunart
Errata for Circuit Size Relative to Pseudorandom Oracles
. 392
ЈЛ.
Lutz
and WJ. Schmidt
Author Index
. 393
Vili |
| any_adam_object | 1 |
| author_corporate | Structure in Complexity Theory Conference Chicago, Ill |
| author_corporate_role | aut |
| author_facet | Structure in Complexity Theory Conference Chicago, Ill |
| author_sort | Structure in Complexity Theory Conference Chicago, Ill |
| building | Verbundindex |
| bvnumber | BV006149820 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267.7 |
| callnumber-search | QA267.7 |
| callnumber-sort | QA 3267.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1991 |
| classification_tum | DAT 517f |
| ctrlnum | (OCoLC)24510367 (DE-599)BVBBV006149820 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006149820</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930129s1991 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818622555</subfield><subfield code="9">0-8186-2255-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818622563</subfield><subfield code="9">0-8186-2256-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818622571</subfield><subfield code="9">0-8186-2257-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24510367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006149820</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Structure in Complexity Theory Conference</subfield><subfield code="n">6</subfield><subfield code="d">1991</subfield><subfield code="c">Chicago, Ill.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5059522-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the sixth annual Structure in Complexity Theory Conference</subfield><subfield code="b">June 30 - July 3, 1991, University of Chicago, Chicago, Illinois</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">IEEE structure in complexity theory</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Structure in complexity theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 390 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Nebentitel: Structure in complexity theory. -Nebent.: IEEE structure in complexity theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexité de calcul (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Complexité de calcul (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Chicago Ill.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003888807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003888807</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Chicago Ill. gnd-content |
| genre_facet | Konferenzschrift 1991 Chicago Ill. |
| id | DE-604.BV006149820 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:19:03Z |
| institution | BVB |
| institution_GND | (DE-588)5059522-2 |
| isbn | 0818622555 0818622563 0818622571 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003888807 |
| oclc_num | 24510367 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-739 DE-20 DE-634 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-739 DE-20 DE-634 DE-83 |
| physical | VIII, 390 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | Structure in Complexity Theory Conference 6 1991 Chicago, Ill. Verfasser (DE-588)5059522-2 aut Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois IEEE structure in complexity theory Structure in complexity theory Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1991 VIII, 390 S. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Nebentitel: Structure in complexity theory. -Nebent.: IEEE structure in complexity theory Complexité de calcul (Informatique) - Congrès Complexité de calcul (informatique) - Congrès ram complexité calcul inriac théorie complexité inriac Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Chicago Ill. gnd-content Komplexitätstheorie (DE-588)4120591-1 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003888807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois Complexité de calcul (Informatique) - Congrès Complexité de calcul (informatique) - Congrès ram complexité calcul inriac théorie complexité inriac Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4120591-1 (DE-588)1071861417 |
| title | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_alt | IEEE structure in complexity theory Structure in complexity theory |
| title_auth | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_exact_search | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_full | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_fullStr | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_full_unstemmed | Proceedings of the sixth annual Structure in Complexity Theory Conference June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| title_short | Proceedings of the sixth annual Structure in Complexity Theory Conference |
| title_sort | proceedings of the sixth annual structure in complexity theory conference june 30 july 3 1991 university of chicago chicago illinois |
| title_sub | June 30 - July 3, 1991, University of Chicago, Chicago, Illinois |
| topic | Complexité de calcul (Informatique) - Congrès Complexité de calcul (informatique) - Congrès ram complexité calcul inriac théorie complexité inriac Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Complexité de calcul (Informatique) - Congrès Complexité de calcul (informatique) - Congrès complexité calcul théorie complexité Computational complexity Congresses Komplexitätstheorie Konferenzschrift 1991 Chicago Ill. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003888807&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT structureincomplexitytheoryconferencechicagoill proceedingsofthesixthannualstructureincomplexitytheoryconferencejune30july31991universityofchicagochicagoillinois AT structureincomplexitytheoryconferencechicagoill ieeestructureincomplexitytheory AT structureincomplexitytheoryconferencechicagoill structureincomplexitytheory |