Search dblp for Publications

export results for "toc:db/conf/stoc/stoc72.bht:"

 download as .bib file

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