Search dblp for Publications

export results for "toc:db/conf/focs/focs79.bht:"

 download as .bib file

@inproceedings{DBLP:conf/focs/Adleman79,
  author       = {Leonard M. Adleman},
  title        = {A Subexponential Algorithm for the Discrete Logarithm Problem with
                  Applications to Cryptography (Abstract)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {55--60},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.2},
  doi          = {10.1109/SFCS.1979.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Adleman79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/AdlemanM79,
  author       = {Leonard M. Adleman and
                  Kenneth L. Manders},
  title        = {Reductions that Lie},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {397--410},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.35},
  doi          = {10.1109/SFCS.1979.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AdlemanM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/AhoUY79,
  author       = {Alfred V. Aho and
                  Jeffrey D. Ullman and
                  Mihalis Yannakakis},
  title        = {Modeling Communications Protocols by Automata},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {267--273},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.23},
  doi          = {10.1109/SFCS.1979.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AhoUY79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/AleliunasKLLR79,
  author       = {Romas Aleliunas and
                  Richard M. Karp and
                  Richard J. Lipton and
                  L{\'{a}}szl{\'{o}} Lov{\'{a}}sz and
                  Charles Rackoff},
  title        = {Random Walks, Universal Traversal Sequences, and the Complexity of
                  Maze Problems},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {218--223},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.34},
  doi          = {10.1109/SFCS.1979.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AleliunasKLLR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/AspvallS79,
  author       = {Bengt Aspvall and
                  Yossi Shiloach},
  title        = {A Polynomial Time Algorithm for Solving Systems of Linear Inequalities
                  with Two Variables per Inequality},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {205--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.1},
  doi          = {10.1109/SFCS.1979.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/AspvallS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BabaiK79,
  author       = {L{\'{a}}szl{\'{o}} Babai and
                  Ludek Kucera},
  title        = {Canonical Labelling of Graphs in Linear Average Time},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {39--46},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.8},
  doi          = {10.1109/SFCS.1979.8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/focs/BabaiK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BakerH79,
  author       = {Theodore P. Baker and
                  Juris Hartmanis},
  title        = {Succinctness, Verifiability and Determinism in Representations of
                  Polynomial-Time Languages},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {392--396},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.41},
  doi          = {10.1109/SFCS.1979.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BakerH79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Blattner79,
  author       = {Meera Blattner},
  title        = {The Decidability of the Equivalence of Context-Free Grammar Forms},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {91--96},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.44},
  doi          = {10.1109/SFCS.1979.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Blattner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/BorodinFKLT79,
  author       = {Allan Borodin and
                  Michael J. Fischer and
                  David G. Kirkpatrick and
                  Nancy A. Lynch and
                  Martin Tompa},
  title        = {A Time-Space Tradeoff for Sorting on Non-Oblivious Machines},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {319--327},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.4},
  doi          = {10.1109/SFCS.1979.4},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BorodinFKLT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Brassard79,
  author       = {Gilles Brassard},
  title        = {Relativized Cryptography},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {383--391},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.36},
  doi          = {10.1109/SFCS.1979.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Brassard79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/ClarkeL79,
  author       = {Edmund M. Clarke and
                  Lishing Liu},
  title        = {Approximate Algorithms for Optimization of Busy Waiting in Parallel
                  Programs (Preliminary Report)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {255--266},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.5},
  doi          = {10.1109/SFCS.1979.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/ClarkeL79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Dershowitz79,
  author       = {Nachum Dershowitz},
  title        = {Orderings for Term-Rewriting Systems},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {123--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.32},
  doi          = {10.1109/SFCS.1979.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Dershowitz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/DobkinS79,
  author       = {David P. Dobkin and
                  Lawrence Snyder},
  title        = {On a General Method for Maximizing and Minimizing among Certain Geometric
                  Problems (Extended Abstract)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {9--17},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.28},
  doi          = {10.1109/SFCS.1979.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/DobkinS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/FischerLBB79,
  author       = {Michael J. Fischer and
                  Nancy A. Lynch and
                  James E. Burns and
                  Allan Borodin},
  title        = {Resource Allocation with Immunity to Limited Process Failure (Preliminary
                  Report)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {234--254},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.37},
  doi          = {10.1109/SFCS.1979.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FischerLBB79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/FlajoletFV79,
  author       = {Philippe Flajolet and
                  Jean Fran{\c{c}}on and
                  Jean Vuillemin},
  title        = {Towards Analysing Sequences of Operations for Dynamic Data Structures
                  (Preliminary Version)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {183--195},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.46},
  doi          = {10.1109/SFCS.1979.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/FlajoletFV79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/GabberG79,
  author       = {Ofer Gabber and
                  Zvi Galil},
  title        = {Explicit Constructions of Linear Size Superconcentrators},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {364--370},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.16},
  doi          = {10.1109/SFCS.1979.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GabberG79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/GabowT79,
  author       = {Harold N. Gabow and
                  Robert Endre Tarjan},
  title        = {Efficient Algorithms for Simple Matroid Intersection Problems},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {196--204},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.14},
  doi          = {10.1109/SFCS.1979.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GabowT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/GonnetMS79,
  author       = {Gaston H. Gonnet and
                  J. Ian Munro and
                  Hendra Suwanda},
  title        = {Toward Self-Organizing Linear Search (Preliminary Draught)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {169--174},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.45},
  doi          = {10.1109/SFCS.1979.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GonnetMS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Greibach79,
  author       = {Sheila A. Greibach},
  title        = {Formal Languages: Origins and Directions},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {66--90},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.19},
  doi          = {10.1109/SFCS.1979.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Greibach79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Hartmanis79,
  author       = {Juris Hartmanis},
  title        = {Observations about the Development of Theoretical Computer Science},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {224--233},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.27},
  doi          = {10.1109/SFCS.1979.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Hartmanis79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Immerman79,
  author       = {Neil Immerman},
  title        = {Length of Predicate Calculus Formulas as a New Complexity Measure},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {337--347},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.21},
  doi          = {10.1109/SFCS.1979.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Immerman79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/KedemS79,
  author       = {Zvi M. Kedem and
                  Abraham Silberschatz},
  title        = {Controlling Concurrency Using Locking Protocols (Preliminary Report)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {274--285},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.12},
  doi          = {10.1109/SFCS.1979.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/KedemS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kirkpatrick79,
  author       = {David G. Kirkpatrick},
  title        = {Efficient Computation of Continuous Skeletons},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {18--27},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.15},
  doi          = {10.1109/SFCS.1979.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kirkpatrick79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kleene79,
  author       = {Stephen Cole Kleene},
  title        = {Origins of Recursive Function Theory},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {371--382},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.33},
  doi          = {10.1109/SFCS.1979.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kleene79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Kozen79,
  author       = {Dexter Kozen},
  title        = {Semantics of Probabilistic Programs},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {101--114},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.38},
  doi          = {10.1109/SFCS.1979.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Lagarias79,
  author       = {J. C. Lagarias},
  title        = {Succinct Certificates for the Solvability of Binary Quadratic Diophantine
                  Equations},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.40},
  doi          = {10.1109/SFCS.1979.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Lagarias79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/LieberherrS79,
  author       = {Karl J. Lieberherr and
                  Ernst Specker},
  title        = {Complexity of Partial Satisfaction},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {132--139},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.9},
  doi          = {10.1109/SFCS.1979.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/LieberherrS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/MaurerN79,
  author       = {Hermann A. Maurer and
                  Maurice Nivat},
  title        = {Bijective A-Transducers},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {97--100},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.7},
  doi          = {10.1109/SFCS.1979.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/MaurerN79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Pan79,
  author       = {Victor Y. Pan},
  title        = {Field Extension and Triangular Aggregating, Uniting and Canceling
                  for the Acceleration of Matrix Multiplications},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {28--38},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.17},
  doi          = {10.1109/SFCS.1979.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Pan79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/PaulR79,
  author       = {Wolfgang J. Paul and
                  R{\"{u}}diger Reischuk},
  title        = {On Time versus Space {II}},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {298--306},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.30},
  doi          = {10.1109/SFCS.1979.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/PaulR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/PetersonR79,
  author       = {Gary L. Peterson and
                  John H. Reif},
  title        = {Multiple-Person Alternation},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {348--363},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.25},
  doi          = {10.1109/SFCS.1979.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/PetersonR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Pippenger79a,
  author       = {Nicholas Pippenger},
  title        = {Computational Complexity in Algebraic Function Fields (Preliminary
                  Version)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {61--65},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.11},
  doi          = {10.1109/SFCS.1979.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Pippenger79a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Pippenger79b,
  author       = {Nicholas Pippenger},
  title        = {On Simultaneous Resource Bounds (Preliminary Version)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {307--311},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.29},
  doi          = {10.1109/SFCS.1979.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Pippenger79b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Pratt79,
  author       = {Vaughan R. Pratt},
  title        = {Models of Program Logics},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {115--122},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.24},
  doi          = {10.1109/SFCS.1979.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Pratt79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/PreparataV79,
  author       = {Franco P. Preparata and
                  Jean Vuillemin},
  title        = {The Cube-Connected-Cycles: {A} Versatile Network for Parallel Computation
                  (Extended Abstract)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {140--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.43},
  doi          = {10.1109/SFCS.1979.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/PreparataV79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Reif79,
  author       = {John H. Reif},
  title        = {Complexity of the Mover's Problem and Generalizations (Extended Abstract)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {421--427},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.10},
  doi          = {10.1109/SFCS.1979.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Reif79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Ruzzo79,
  author       = {Walter L. Ruzzo},
  title        = {On Uniform Circuit Complexity (Extended Abstract)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {312--318},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.31},
  doi          = {10.1109/SFCS.1979.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Ruzzo79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/SaxeB79,
  author       = {James B. Saxe and
                  Jon Louis Bentley},
  title        = {Transforming Static Data Structures to Dynamic Structures (Abridged
                  Version)},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {148--168},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.47},
  doi          = {10.1109/SFCS.1979.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/SaxeB79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/SchroeppelS79,
  author       = {Richard Schroeppel and
                  Adi Shamir},
  title        = {A {T} {S2} = O(2n) Time/Space Tradeoff for Certain NP-Complete Problems},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {328--336},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.3},
  doi          = {10.1109/SFCS.1979.3},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/SchroeppelS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Simon79,
  author       = {Janos Simon},
  title        = {Division Is Good},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {411--420},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.13},
  doi          = {10.1109/SFCS.1979.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Simon79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/WegmanC79,
  author       = {Mark N. Wegman and
                  Larry Carter},
  title        = {New Classes and Applications of Hash Functions},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.26},
  doi          = {10.1109/SFCS.1979.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/WegmanC79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/YannakakisPK79,
  author       = {Mihalis Yannakakis and
                  Christos H. Papadimitriou and
                  H. T. Kung},
  title        = {Locking Policies: Safety and Freedom from Deadlock},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {286--297},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.22},
  doi          = {10.1109/SFCS.1979.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/YannakakisPK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Yemini79,
  author       = {Yechiam Yemini},
  title        = {Some Theoretical Aspects of Position-Location Problems},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.39},
  doi          = {10.1109/SFCS.1979.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Yemini79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/focs/FOCS20,
  title        = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4567990/proceeding},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/focs/FOCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.