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/stoc78.bht:"
download as .bib file
@inproceedings{DBLP:conf/stoc/Baudet78,
author = {G{\'{e}}rard M. Baudet},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {An Analysis of the Full Alpha-Beta Pruning Algorithm},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {296--313},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804359},
doi = {10.1145/800133.804359},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Baudet78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BrownT78,
author = {Mark R. Brown and
Robert Endre Tarjan},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {A Representation for Linear Lists with Movable Fingers},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {19--29},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804328},
doi = {10.1145/800133.804328},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BrownT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BrussM78,
author = {Anni R. Bruss and
Albert R. Meyer},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On Time-Space Classes and Their Relation to the Theory of Real Addition},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {233--239},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804352},
doi = {10.1145/800133.804352},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BrussM78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CarterFGMW78,
author = {Larry Carter and
Robert W. Floyd and
John Gill and
George Markowsky and
Mark N. Wegman},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Exact and Approximate Membership Testers},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {59--65},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804332},
doi = {10.1145/800133.804332},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CarterFGMW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/CaseS78,
author = {John Case and
Carl Smith},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Anomaly Hierarchies of Mechanized Inductive Inference},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {314--319},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804360},
doi = {10.1145/800133.804360},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/CaseS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Dowd78,
author = {Martin Dowd},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Propositional Representation of Arithmetic Proofs (Preliminary Version)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {246--252},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804354},
doi = {10.1145/800133.804354},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Dowd78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/EngelfrietRS78,
author = {Joost Engelfriet and
Grzegorz Rozenberg and
Giora Slutzki},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Tree Transducers, {L} Systems and Two-Way Machines (Extended Abstract)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {66--74},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804333},
doi = {10.1145/800133.804333},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/EngelfrietRS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Filotti78,
author = {I. S. Filotti},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {133--142},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804341},
doi = {10.1145/800133.804341},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Filotti78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/FortuneW78,
author = {Steven Fortune and
James Wyllie},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Parallelism in Random Access Machines},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {114--118},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804339},
doi = {10.1145/800133.804339},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/FortuneW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GabowK78,
author = {Harold N. Gabow and
Oded Kariv},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Algorithms for Edge Coloring Bipartite Graphs},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {184--192},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804346},
doi = {10.1145/800133.804346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GabowK78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Goldschlager78,
author = {Leslie M. Goldschlager},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {A Unified Approach to Models of Synchronous Parallel Machines},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {89--94},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804336},
doi = {10.1145/800133.804336},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Goldschlager78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/GurariI78,
author = {Eitan M. Gurari and
Oscar H. Ibarra},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {An NP-Complete Number-Theoretic Problem},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {205--215},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804349},
doi = {10.1145/800133.804349},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/GurariI78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Hyafil78,
author = {Laurent Hyafil},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On the Parallel Evaluation of Multivariate Polynomials},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {193--195},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804347},
doi = {10.1145/800133.804347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Hyafil78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/JaJa78,
author = {Joseph F. J{\'{a}}J{\'{a}}},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Optimal Evaluation of Pairs of Bilinear Forms},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {173--183},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804345},
doi = {10.1145/800133.804345},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/JaJa78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Katseff78,
author = {Howard P. Katseff},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {A New Solution to the Critical Section Problem},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {86--88},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804335},
doi = {10.1145/800133.804335},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Katseff78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KirkpatrickH78,
author = {David G. Kirkpatrick and
Pavol Hell},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On the Completeness of a Generalized Matching Problem},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {240--245},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804353},
doi = {10.1145/800133.804353},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KirkpatrickH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kozen78,
author = {Dexter Kozen},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Indexing of Subrecursive Classes},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {287--295},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804358},
doi = {10.1145/800133.804358},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Kozen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LapaughR78,
author = {Andrea S. LaPaugh and
Ronald L. Rivest},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {The Subgraph Homeomorphism Problem},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {40--50},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804330},
doi = {10.1145/800133.804330},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LapaughR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lewis78,
author = {John M. Lewis},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On the Complexity of the Maximum Subgraph Problem},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {265--274},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804356},
doi = {10.1145/800133.804356},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lewis78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lueker78,
author = {George S. Lueker},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Maximization Problems on Graphs with Edge Weights Chosen from a Normal
Distribution (Extended Abstract)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {13--18},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804327},
doi = {10.1145/800133.804327},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lueker78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lynch78,
author = {Nancy A. Lynch},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Straight-Line Program Length as a Parameter for Complexity Measures},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {150--161},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804343},
doi = {10.1145/800133.804343},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lynch78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Megiddo78,
author = {Nimrod Megiddo},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Combinatorial Optimization with Rational Objective Functions},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {1--12},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804326},
doi = {10.1145/800133.804326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Megiddo78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Miller78,
author = {Gary L. Miller},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On the nlog n Isomorphism Technique: {A} Preliminary Report},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {51--58},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804331},
doi = {10.1145/800133.804331},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Miller78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MillerY78,
author = {Raymond E. Miller and
Chee{-}Keng Yap},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {On Formulating Simultaneity for Studying Parallelism and Synchronization},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {105--113},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804338},
doi = {10.1145/800133.804338},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/MillerY78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Pan78,
author = {Victor Y. Pan},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Computational Complexity of Computing Polynomials over the Fields
of Real and Complex Numbers},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {162--172},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804344},
doi = {10.1145/800133.804344},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Pan78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Pratt78,
author = {Vaughan R. Pratt},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {A Practical Decision Method for Propositional Dynamic Logic: Preliminary
Report},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {326--337},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804362},
doi = {10.1145/800133.804362},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Pratt78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rackoff78,
author = {Charles Rackoff},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Relativized Questions Involving Probabilistic Algorithms},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {338--342},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804363},
doi = {10.1145/800133.804363},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rackoff78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RaoultV78,
author = {Jean{-}Claude Raoult and
Jean Vuillemin},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Operational and Semantic Equivalence between Recursive Programs},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {75--85},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804334},
doi = {10.1145/800133.804334},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RaoultV78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ReddyL78,
author = {C. R. Reddy and
Donald W. Loveland},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Presburger Arithmetic with Bounded Quantifier Alternation},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {320--325},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804361},
doi = {10.1145/800133.804361},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/ReddyL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/RivestMKWS78,
author = {Ronald L. Rivest and
Albert R. Meyer and
Daniel J. Kleitman and
Karl Winklmann and
Joel Spencer},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Coping with Errors in Binary Search Procedures (Preliminary Report)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {227--232},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804351},
doi = {10.1145/800133.804351},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/RivestMKWS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/SakodaS78,
author = {William J. Sakoda and
Michael Sipser},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Nondeterminism and the Size of Two Way Finite Automata},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {275--286},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804357},
doi = {10.1145/800133.804357},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/SakodaS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Schaefer78,
author = {Thomas J. Schaefer},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {The Complexity of Satisfiability Problems},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {216--226},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804350},
doi = {10.1145/800133.804350},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Schaefer78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ScioreT78,
author = {Edward Sciore and
A. Tang},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Computability Theory in Admissible Domains},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {95--104},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804337},
doi = {10.1145/800133.804337},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ScioreT78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/StorerS78,
author = {James A. Storer and
Thomas G. Szymanski},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {The Macro Model for Data Compression (Extended Abstract)},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {30--39},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804329},
doi = {10.1145/800133.804329},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/StorerS78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/ThatcherWW78,
author = {James W. Thatcher and
Eric G. Wagner and
Jesse B. Wright},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Data Type Specification: Parameterization and the Power of Specification
Techniques},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {119--132},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804340},
doi = {10.1145/800133.804340},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/ThatcherWW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Tompa78,
author = {Martin Tompa},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties
of their Circuits},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {196--204},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804348},
doi = {10.1145/800133.804348},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Tompa78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Wegener78,
author = {Ingo Wegener},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Switching Functions Whose Monotone Complexity Is Nearly Quadratic},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {143--149},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804342},
doi = {10.1145/800133.804342},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Wegener78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Yannakakis78,
author = {Mihalis Yannakakis},
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Node- and Edge-Deletion NP-Complete Problems},
booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
pages = {253--264},
publisher = {{ACM}},
year = {1978},
url = {https://doi.org/10.1145/800133.804355},
doi = {10.1145/800133.804355},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Yannakakis78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC10,
editor = {Richard J. Lipton and
Walter A. Burkhard and
Walter J. Savitch and
Emily P. Friedman and
Alfred V. Aho},
title = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
May 1-3, 1978, San Diego, California, {USA}},
publisher = {{ACM}},
year = {1978},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC10.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-06-04 18:56 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:
