default search action
Search dblp for Publications
export results for "toc:db/conf/stoc/stoc72.bht:"
@inproceedings{DBLP:conf/stoc/AhoU72, author = {Alfred V. Aho and Jeffrey D. Ullman}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {A Technique for Speeding Up LR(k) Parsers}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {251--263}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804920}, doi = {10.1145/800152.804920}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/AhoU72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/BlumFPRT72, author = {Manuel Blum and Robert W. Floyd and Vaughan R. Pratt and Ronald L. Rivest and Robert Endre Tarjan}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Linear Time Bounds for Median Computations}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {119--124}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804904}, doi = {10.1145/800152.804904}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/BlumFPRT72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Carlyle-GreibachGG72, author = {Sheila Carlyle{-}Greibach and Seymour Ginsburg and Jonathan Goldstine}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Uniformly Erasable {AFL}}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {207--213}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804916}, doi = {10.1145/800152.804916}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Carlyle-GreibachGG72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/ChandraM72, author = {Ashok K. Chandra and Zohar Manna}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Program Schemas with Equality}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {52--64}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804896}, doi = {10.1145/800152.804896}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/ChandraM72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/ConstableM72, author = {Robert L. Constable and Steven S. Muchnick}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Subrecursive Program Schemata {I} {\&} {II:} I. Undecidable Equivalence Problems; {II.} Decidable Equivalence Problems}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {1--17}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804892}, doi = {10.1145/800152.804892}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/ConstableM72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Cook72, author = {Stephen A. Cook}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {A Hierarchy for Nondeterministic Time Complexity}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {187--192}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804913}, doi = {10.1145/800152.804913}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Cook72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/CookR72, author = {Stephen A. Cook and Robert A. Reckhow}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Time-Bounded Random Access Machines}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {73--80}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804898}, doi = {10.1145/800152.804898}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/CookR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Fiduccia72, author = {Charles M. Fiduccia}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Polynomial Evaluation via the Division Algorithm: The Fast Fourier Transform Revisited}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {88--93}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804900}, doi = {10.1145/800152.804900}, timestamp = {Sat, 31 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/Fiduccia72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/GareyGU72, author = {M. R. Garey and Ronald L. Graham and Jeffrey D. Ullman}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Worst-Case Analysis of Memory Allocation Algorithms}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {143--150}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804907}, doi = {10.1145/800152.804907}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/GareyGU72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/GarlandL72, author = {Stephen J. Garland and David C. Luckham}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {On the Equivalence of Schemes}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {65--72}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804897}, doi = {10.1145/800152.804897}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/GarlandL72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Hamlet72, author = {Richard G. Hamlet}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {A Patent Problem for Abstract Programming Languages: Machine-Independent Computations}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {193--197}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804914}, doi = {10.1145/800152.804914}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Hamlet72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/HechtU72, author = {Matthew S. Hecht and Jeffrey D. Ullman}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Flow Graph Reducibility}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {238--250}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804919}, doi = {10.1145/800152.804919}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/HechtU72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Horowitz72, author = {Ellis Horowitz}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Algorithms for Rational Function Arithmetic Operations}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {108--118}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804903}, doi = {10.1145/800152.804903}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Horowitz72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/JonesS72, author = {Neil D. Jones and Alan L. Selman}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Turing Machines and the Spectra of First-Order Formulas with Equality}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {157--167}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804909}, doi = {10.1145/800152.804909}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/JonesS72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/KarpMR72, author = {Richard M. Karp and Raymond E. Miller and Arnold L. Rosenberg}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Rapid Identification of Repeated Patterns in Strings, Trees and Arrays}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {125--136}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804905}, doi = {10.1145/800152.804905}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/KarpMR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Kirkpatrick72, author = {David G. Kirkpatrick}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {On the Additions Necessary to Compute Certain Functions}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {94--101}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804901}, doi = {10.1145/800152.804901}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Kirkpatrick72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Kung72, author = {H. T. Kung}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {A Bound on the Multiplication Efficiency of Iteration}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {102--107}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804902}, doi = {10.1145/800152.804902}, timestamp = {Tue, 28 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/Kung72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/LindenmayerR72, author = {Aristid Lindenmayer and Grzegorz Rozenberg}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Developmental Systems and Languages}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {214--221}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804917}, doi = {10.1145/800152.804917}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/LindenmayerR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/MeyerB72, author = {Albert R. Meyer and A. Bagchi}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Program Size and Economy of Descriptions: Preliminary Report}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {183--186}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804912}, doi = {10.1145/800152.804912}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/MeyerB72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Morris72, author = {James H. Morris Jr.}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Recursion Schemes with Lists}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {35--43}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804894}, doi = {10.1145/800152.804894}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Morris72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/NievergeltR72, author = {J{\"{u}}rg Nievergelt and Edward M. Reingold}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Binary Search Trees of Bounded Balance}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {137--142}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804906}, doi = {10.1145/800152.804906}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/NievergeltR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/OgdenR72, author = {William F. Ogden and William C. Rounds}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Compositions of n Tree Transducers}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {198--206}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804915}, doi = {10.1145/800152.804915}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/OgdenR72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Plaisted72, author = {David A. Plaisted}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Flowchart Schemata with Counters}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {44--51}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804895}, doi = {10.1145/800152.804895}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Plaisted72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Savitch72, author = {Walter J. Savitch}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Maze Recognizing Automata (Extended Abstract)}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {151--156}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804908}, doi = {10.1145/800152.804908}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Savitch72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Schnorr72, author = {Claus{-}Peter Schnorr}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {The Process Complexity and Effective Random Tests}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {168--176}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804910}, doi = {10.1145/800152.804910}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Schnorr72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Sethi72, author = {Ravi Sethi}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Validating Register Allocations for Straight Line Programs}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {222--237}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804918}, doi = {10.1145/800152.804918}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Sethi72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Symes72, author = {D. M. Symes}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {The Computation of Finite Functions}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {177--182}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804911}, doi = {10.1145/800152.804911}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Symes72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/WalkerS72, author = {S. A. Walker and H. Raymond Strong}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Characterization of Flowchartable Recursions (Short Version)}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {18--34}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804893}, doi = {10.1145/800152.804893}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/WalkerS72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/WarkentinF72, author = {John C. Warkentin and Patrick C. Fischer}, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Predecessor Machines and Regressing Functions}, booktitle = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, pages = {81--87}, publisher = {{ACM}}, year = {1972}, url = {https://doi.org/10.1145/800152.804899}, doi = {10.1145/800152.804899}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/WarkentinF72.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stoc/STOC4, editor = {Patrick C. Fischer and H. Paul Zeiger and Jeffrey D. Ullman and Arnold L. Rosenberg}, title = {Proceedings of the 4th Annual {ACM} Symposium on Theory of Computing, May 1-3, 1972, Denver, Colorado, {USA}}, publisher = {{ACM}}, year = {1972}, timestamp = {Mon, 17 Oct 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/STOC4.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.