Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/stoc/stoc84.bht:"
download as .bib file
@inproceedings{DBLP:conf/stoc/AdlerM84,
author = {Ilan Adler and
Nimrod Megiddo},
editor = {Richard A. DeMillo},
title = {A Simplex Algorithm Whose Average Number of Steps is Bounded between
Two Quadratic Functions of the Smaller Dimension},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {312--323},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808696},
doi = {10.1145/800057.808696},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AdlerM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AjtaiB84,
author = {Mikl{\'{o}}s Ajtai and
Michael Ben{-}Or},
editor = {Richard A. DeMillo},
title = {A Theorem on Probabilistic Constant Depth Computations},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {471--474},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808715},
doi = {10.1145/800057.808715},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AjtaiB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Alt84,
author = {Helmut Alt},
editor = {Richard A. DeMillo},
title = {Comparison of Arithmetic Functions with Respect to Boolean Circuit
Depth (Extended Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {466--470},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808714},
doi = {10.1145/800057.808714},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Alt84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Awerbuch84,
author = {Baruch Awerbuch},
editor = {Richard A. DeMillo},
title = {An Efficient Network Synchronization Protocol},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {522--525},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808722},
doi = {10.1145/800057.808722},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Awerbuch84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/AwerbuchIS84,
author = {Baruch Awerbuch and
Amos Israeli and
Yossi Shiloach},
editor = {Richard A. DeMillo},
title = {Finding Euler Circuits in Logarithmic Parallel Time},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {249--257},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808688},
doi = {10.1145/800057.808688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AwerbuchIS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BachMS84,
author = {Eric Bach and
Gary L. Miller and
Jeffrey O. Shallit},
editor = {Richard A. DeMillo},
title = {Sums of Divisors, Perfect Numbers, and Factoring (Extended Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {183--190},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808680},
doi = {10.1145/800057.808680},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BachMS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BarringerKP84,
author = {Howard Barringer and
Ruurd Kuiper and
Amir Pnueli},
editor = {Richard A. DeMillo},
title = {Now You May Compose Temporal Logic Specifications},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {51--63},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808665},
doi = {10.1145/800057.808665},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BarringerKP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ben-OrKR84,
author = {Michael Ben{-}Or and
Dexter Kozen and
John H. Reif},
editor = {Richard A. DeMillo},
title = {The Complexity of Elementary Algebra and Geometry (Preliminary Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {457--464},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808712},
doi = {10.1145/800057.808712},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/Ben-OrKR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BentleyJLMM84,
author = {Jon Louis Bentley and
David S. Johnson and
Frank Thomson Leighton and
Catherine C. McGeoch and
Lyle A. McGeoch},
editor = {Richard A. DeMillo},
title = {Some Unexpected Expected Behavior Results for Bin Packing},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {279--288},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808692},
doi = {10.1145/800057.808692},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BentleyJLMM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BilardiP84,
author = {Gianfranco Bilardi and
Franco P. Preparata},
editor = {Richard A. DeMillo},
title = {A Minimum Area {VLSI} Network for O(log n) Time Sorting},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {64--70},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808666},
doi = {10.1145/800057.808666},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BilardiP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Blum84,
author = {Norbert Blum},
editor = {Richard A. DeMillo},
title = {An Area-Maximum Edge Length Tradeoff for {VLSI} Layout},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {92--97},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808669},
doi = {10.1145/800057.808669},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Blum84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BlumerBEHM84,
author = {Anselm Blumer and
J. Blumer and
Andrzej Ehrenfeucht and
David Haussler and
Ross M. McConnell},
editor = {Richard A. DeMillo},
title = {Building a Complete Inverted File for a Set of Text Files in Linear
Time},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {349--358},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808700},
doi = {10.1145/800057.808700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BlumerBEHM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Boppana84,
author = {Ravi B. Boppana},
editor = {Richard A. DeMillo},
title = {Threshold Functions and Bounded Depth Monotone Circuits},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {475--479},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808716},
doi = {10.1145/800057.808716},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Boppana84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BroderDFS84,
author = {Andrei Z. Broder and
Danny Dolev and
Michael J. Fischer and
Barbara Simons},
editor = {Richard A. DeMillo},
title = {Efficient Fault Tolerant Routings in Networks},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {536--541},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808724},
doi = {10.1145/800057.808724},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BroderDFS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BussS84,
author = {Jonathan F. Buss and
Peter W. Shor},
editor = {Richard A. DeMillo},
title = {On the Pagenumber of Planar Graphs},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {98--100},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808670},
doi = {10.1145/800057.808670},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BussS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Chazelle84,
author = {Bernard Chazelle},
editor = {Richard A. DeMillo},
title = {Intersecting Is Easier than Sorting},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {125--134},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808674},
doi = {10.1145/800057.808674},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Chazelle84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Clarkson84,
author = {Kenneth L. Clarkson},
editor = {Richard A. DeMillo},
title = {Fast Expected-Time and Approximation Algorithms for Geometric Minimum
Spanning Trees (Extended Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {342--348},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808699},
doi = {10.1145/800057.808699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Clarkson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ColeSY84,
author = {Richard Cole and
Micha Sharir and
Chee{-}Keng Yap},
editor = {Richard A. DeMillo},
title = {On k-hulls and Related Problems},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {154--166},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808677},
doi = {10.1145/800057.808677},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ColeSY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Coppersmith84,
author = {Don Coppersmith},
editor = {Richard A. DeMillo},
title = {Evaluating Logarithms in GF(2n)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {201--207},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808682},
doi = {10.1145/800057.808682},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Coppersmith84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CuntoM84,
author = {Walter Cunto and
J. Ian Munro},
editor = {Richard A. DeMillo},
title = {Average Case Selection},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {369--375},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808702},
doi = {10.1145/800057.808702},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CuntoM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DeganoM84,
author = {Pierpaolo Degano and
Ugo Montanari},
editor = {Richard A. DeMillo},
title = {Liveness Properties as Convergence in Metric Spaces},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {31--38},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808663},
doi = {10.1145/800057.808663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DeganoM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevHS84,
author = {Danny Dolev and
Joseph Y. Halpern and
H. Raymond Strong},
editor = {Richard A. DeMillo},
title = {On the Possibility and Impossibility of Achieving Clock Synchronization},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {504--511},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808720},
doi = {10.1145/800057.808720},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DolevHS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevHSS84,
author = {Danny Dolev and
Joseph Y. Halpern and
Barbara Simons and
H. Raymond Strong},
editor = {Richard A. DeMillo},
title = {A New Look at Fault Tolerant Network Routing},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {526--535},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808723},
doi = {10.1145/800057.808723},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DolevHSS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DolevMMU84,
author = {Danny Dolev and
David Maier and
Harry G. Mairson and
Jeffrey D. Ullman},
editor = {Richard A. DeMillo},
title = {Correcting Faults in Write-Once Memory},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {225--229},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808685},
doi = {10.1145/800057.808685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DolevMMU84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/DurisGS84,
author = {Pavol Duris and
Zvi Galil and
Georg Schnitger},
editor = {Richard A. DeMillo},
title = {Lower Bounds on Communication Complexity},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {81--91},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808668},
doi = {10.1145/800057.808668},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/DurisGS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/EmersonS84,
author = {E. Allen Emerson and
A. Prasad Sistla},
editor = {Richard A. DeMillo},
title = {Deciding Branching Time Logic},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {14--24},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808661},
doi = {10.1145/800057.808661},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/EmersonS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FranzblauK84,
author = {Deborah S. Franzblau and
Daniel J. Kleitman},
editor = {Richard A. DeMillo},
title = {An Algorithm for Constructing Regions with Rectangles: Independence
and Minimum Generating Sets for Collections of Intervals},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {167--174},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808678},
doi = {10.1145/800057.808678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FranzblauK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FredericksonL84,
author = {Greg N. Frederickson and
Nancy A. Lynch},
editor = {Richard A. DeMillo},
title = {The Impact of Synchronous Communication on the Problem of Electing
a Leader in a Ring},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {493--503},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808719},
doi = {10.1145/800057.808719},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FredericksonL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FredericksonS84,
author = {Greg N. Frederickson and
Mandayam A. Srinivas},
editor = {Richard A. DeMillo},
title = {Data Structures for On-Line Updating of Matroid Intersection Solutions
(Preliminary Version)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {383--390},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808704},
doi = {10.1145/800057.808704},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FredericksonS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GabowBT84,
author = {Harold N. Gabow and
Jon Louis Bentley and
Robert Endre Tarjan},
editor = {Richard A. DeMillo},
title = {Scaling and Related Techniques for Geometry Problems},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {135--143},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808675},
doi = {10.1145/800057.808675},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GabowBT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Galil84,
author = {Zvi Galil},
editor = {Richard A. DeMillo},
title = {Optimal Parallel Algorithms for String Matching},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {240--248},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808687},
doi = {10.1145/800057.808687},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Galil84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Gerth84,
author = {Rob Gerth},
editor = {Richard A. DeMillo},
title = {Transition Logic: How to Reason About Temporal Properties in a Compositional
Way},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {39--50},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808664},
doi = {10.1145/800057.808664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Gerth84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GoldbergM84,
author = {Andrew V. Goldberg and
Alberto Marchetti{-}Spaccamela},
editor = {Richard A. DeMillo},
title = {On Finding the Exact Solution of a Zero-One Knapsack Problem},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {359--368},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808701},
doi = {10.1145/800057.808701},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GoldbergM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Gonnet84,
author = {Gaston H. Gonnet},
editor = {Richard A. DeMillo},
title = {Determining Equivalence of Expressions in Random Polynomial Time (Extended
Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {334--341},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808698},
doi = {10.1145/800057.808698},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Gonnet84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Harel84,
author = {David Harel},
editor = {Richard A. DeMillo},
title = {A General Result on Infinite Trees and Its Applications (Preliminary
Report)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {418--427},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808708},
doi = {10.1145/800057.808708},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Harel84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HartS84,
author = {Sergiu Hart and
Micha Sharir},
editor = {Richard A. DeMillo},
title = {Probabilistic Temporal Logics for Finite and Bounded Models},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {1--13},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808660},
doi = {10.1145/800057.808660},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/HartS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Hennessy84,
author = {Matthew Hennessy},
editor = {Richard A. DeMillo},
title = {Modelling Fair Processes},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {25--30},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808662},
doi = {10.1145/800057.808662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Hennessy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/HochbaumS84,
author = {Dorit S. Hochbaum and
David B. Shmoys},
editor = {Richard A. DeMillo},
title = {Powers of Graphs: {A} Powerful Approximation Technique for Bottleneck
Problems},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {324--333},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808697},
doi = {10.1145/800057.808697},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/HochbaumS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Huang84,
author = {Ming{-}Deh A. Huang},
editor = {Richard A. DeMillo},
title = {Factorization of Polynomials over Finite Fields and Factorization
of Primes in Algebraic Number Fields},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {175--182},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808679},
doi = {10.1145/800057.808679},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Huang84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KahnS84,
author = {Jeff Kahn and
Michael E. Saks},
editor = {Richard A. DeMillo},
title = {Every Poset Has a Good Comparison},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {299--301},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808694},
doi = {10.1145/800057.808694},
timestamp = {Mon, 05 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KahnS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KannanLL84,
author = {Ravindran Kannan and
Arjen K. Lenstra and
L{\'{a}}szl{\'{o}} Lov{\'{a}}sz},
editor = {Richard A. DeMillo},
title = {Polynomial Factorization and Nonrandomness of Bits of Algebraic and
Some Transcendental Numbers},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {191--200},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808681},
doi = {10.1145/800057.808681},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/KannanLL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Karmarkar84,
author = {Narendra Karmarkar},
editor = {Richard A. DeMillo},
title = {A New Polynomial-Time Algorithm for Linear Programming},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {302--311},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808695},
doi = {10.1145/800057.808695},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/Karmarkar84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KarpLM84,
author = {Richard M. Karp and
Michael Luby and
Alberto Marchetti{-}Spaccamela},
editor = {Richard A. DeMillo},
title = {A Probabilistic Analysis of Multidimensional Bin Packing Problems},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {289--298},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808693},
doi = {10.1145/800057.808693},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KarpLM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KarpW84,
author = {Richard M. Karp and
Avi Wigderson},
editor = {Richard A. DeMillo},
title = {A Fast Parallel Algorithm for the Maximal Independent Set Problem},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {266--272},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808690},
doi = {10.1145/800057.808690},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KarpW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KimA84,
author = {Chul E. Kim and
Timothy A. Anderson},
editor = {Richard A. DeMillo},
title = {Digital Disks and a Digital Compactness Measure},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {117--124},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808673},
doi = {10.1145/800057.808673},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KimA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KlawePPY84,
author = {Maria M. Klawe and
Wolfgang J. Paul and
Nicholas Pippenger and
Mihalis Yannakakis},
editor = {Richard A. DeMillo},
title = {On Monotone Formulae with Restricted Depth (Preliminary Version)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {480--487},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808717},
doi = {10.1145/800057.808717},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KlawePPY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen84,
author = {Dexter Kozen},
editor = {Richard A. DeMillo},
title = {Pebblings, Edgings, and Equational Logic},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {428--435},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808709},
doi = {10.1145/800057.808709},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Kozen84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Leighton84,
author = {Frank Thomson Leighton},
editor = {Richard A. DeMillo},
title = {Tight Bounds on the Complexity of Parallel Sorting},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {71--80},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808667},
doi = {10.1145/800057.808667},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Leighton84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Levin84,
author = {Leonid A. Levin},
editor = {Richard A. DeMillo},
title = {Problems, Complete in "Average" Instance},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {465},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808713},
doi = {10.1145/800057.808713},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Levin84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Maass84,
author = {Wolfgang Maass},
editor = {Richard A. DeMillo},
title = {Quadratic Lower Bounds for Deterministic and Nondeterministic One-Tape
Turing Machines (Extended Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {401--408},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808706},
doi = {10.1145/800057.808706},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Maass84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Manber84,
author = {Udi Manber},
editor = {Richard A. DeMillo},
title = {On Maintaining Dynamic Information in a Concurrent Environment (Preliminary
Version)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {273--278},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808691},
doi = {10.1145/800057.808691},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Manber84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Miller84,
author = {Gary L. Miller},
editor = {Richard A. DeMillo},
title = {Finding Small Simple Cycle Separators for 2-Connected Planar Graphs},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {376--382},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808703},
doi = {10.1145/800057.808703},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Miller84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Mirzaian84,
author = {Andranik Mirzaian},
editor = {Richard A. DeMillo},
title = {Channel Routing in {VLSI} (Extended Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {101--107},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808671},
doi = {10.1145/800057.808671},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Mirzaian84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/OngSS84,
author = {H. Ong and
Claus{-}Peter Schnorr and
Adi Shamir},
editor = {Richard A. DeMillo},
title = {An Efficient Signature Scheme Based on Quadratic Equations},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {208--216},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808683},
doi = {10.1145/800057.808683},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/OngSS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/OrlitskyE84,
author = {Alon Orlitsky and
Abbas El Gamal},
editor = {Richard A. DeMillo},
title = {Communication with Secrecy Constraints},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {217--224},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808684},
doi = {10.1145/800057.808684},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/OrlitskyE84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Post84,
author = {Mark J. Post},
editor = {Richard A. DeMillo},
title = {Minimum Spanning Ellipsoids},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {108--116},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808672},
doi = {10.1145/800057.808672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Post84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rougemont84,
author = {Michel de Rougemont},
editor = {Richard A. DeMillo},
title = {Uniform Definability on Finite Structures with Successor},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {409--417},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808707},
doi = {10.1145/800057.808707},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rougemont84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/SharirS84,
author = {Micha Sharir and
Amir Schorr},
editor = {Richard A. DeMillo},
title = {On Shortest Paths in Polyhedral Spaces},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {144--153},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808676},
doi = {10.1145/800057.808676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/SharirS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/SleatorT84,
author = {Daniel Dominic Sleator and
Robert Endre Tarjan},
editor = {Richard A. DeMillo},
title = {Amortized Efficiency of List Update Rules},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {488--492},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808718},
doi = {10.1145/800057.808718},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/SleatorT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/SlotB84,
author = {Cees F. Slot and
Peter van Emde Boas},
editor = {Richard A. DeMillo},
title = {On Tape Versus Core; An Application of Space Efficient Perfect Hash
Functions to the Invariance of Space},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {391--400},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808705},
doi = {10.1145/800057.808705},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/SlotB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Upfal84,
author = {Eli Upfal},
editor = {Richard A. DeMillo},
title = {A Probabilistic Relation between Desirable and Feasible Models of
Parallel Computation {(A} Preliminary Version)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {258--265},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808689},
doi = {10.1145/800057.808689},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/Upfal84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Valiant84,
author = {Leslie G. Valiant},
editor = {Richard A. DeMillo},
title = {A Theory of the Learnable},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {436--445},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808710},
doi = {10.1145/800057.808710},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Valiant84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/VardiW84,
author = {Moshe Y. Vardi and
Pierre Wolper},
editor = {Richard A. DeMillo},
title = {Automata Theoretic Techniques for Modal Logics of Programs (Extended
Abstract)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {446--456},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808711},
doi = {10.1145/800057.808711},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/VardiW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Vishkin84,
author = {Uzi Vishkin},
editor = {Richard A. DeMillo},
title = {Randomized Speed-Ups in Parallel Computation},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {230--239},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808686},
doi = {10.1145/800057.808686},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Vishkin84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Vitanyi84,
author = {Paul M. B. Vit{\'{a}}nyi},
editor = {Richard A. DeMillo},
title = {Distributed Elections in an Archimedean Ring of Processors (Preliminary
Version)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {542--547},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808725},
doi = {10.1145/800057.808725},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Vitanyi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Willard84,
author = {Dan E. Willard},
editor = {Richard A. DeMillo},
title = {Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts
(Preliminary Report)},
booktitle = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
pages = {512--521},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800057.808721},
doi = {10.1145/800057.808721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Willard84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC16,
editor = {Richard A. DeMillo},
title = {Proceedings of the 16th Annual {ACM} Symposium on Theory of Computing,
April 30 - May 2, 1984, Washington, DC, {USA}},
publisher = {{ACM}},
year = {1984},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-24 22:25 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
