Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/stoc/stoc71.bht:"
@inproceedings{DBLP:conf/stoc/AhoU71, author = {Alfred V. Aho and Jeffrey D. Ullman}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {The Care and Feeding of LR(k) Grammars}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {159--170}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805048}, doi = {10.1145/800157.805048}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/AhoU71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Berry71, author = {Daniel M. Berry}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Block Structure: Retention or Deletion? (Extended Abstract)}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {86--100}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805041}, doi = {10.1145/800157.805041}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Berry71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Boasson71, author = {Luc Boasson}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {An Iteration Theorem for One-Counter Languages}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {116--120}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805043}, doi = {10.1145/800157.805043}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Boasson71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Buttelmann71, author = {H. W. Buttelmann}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {On Generalized Finite Automata and Unrestricted Generative Grammars}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {63--77}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805039}, doi = {10.1145/800157.805039}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Buttelmann71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Chang71, author = {Shi{-}Kuo Chang}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {On the Parallel Computation of Local Operations}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {101--115}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805042}, doi = {10.1145/800157.805042}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Chang71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Constable71, author = {Robert L. Constable}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Loop Schemata}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {24--39}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805035}, doi = {10.1145/800157.805035}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Constable71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/ConstableH71, author = {Robert L. Constable and Juris Hartmanis}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Complexity of Formal Translations and Speed-Up Results}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {244--250}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805053}, doi = {10.1145/800157.805053}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/ConstableH71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Cook71, author = {Stephen A. Cook}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {The Complexity of Theorem-Proving Procedures}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {151--158}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805047}, doi = {10.1145/800157.805047}, timestamp = {Mon, 26 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Cook71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Fiduccia71, author = {Charles M. Fiduccia}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Fast Matrix Multiplication}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {45--49}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805037}, doi = {10.1145/800157.805037}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Fiduccia71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/GinsburgG71, author = {Seymour Ginsburg and Jonathan Goldstine}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Intersection-Closed full {AFL} and the Recursively Enumerable Languages}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {121--131}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805044}, doi = {10.1145/800157.805044}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/GinsburgG71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/LevyJ71, author = {Leon S. Levy and Aravind K. Joshi}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Some Results in Tree Automata}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {78--85}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805040}, doi = {10.1145/800157.805040}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/LevyJ71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Machtey71, author = {Michael Machtey}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Classification of Computable Functions by Primitive Recursive Classes}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {251--257}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805054}, doi = {10.1145/800157.805054}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Machtey71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/McNaughton71, author = {Robert McNaughton}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {206--218}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805051}, doi = {10.1145/800157.805051}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/McNaughton71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Meyers71, author = {William James Meyers}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Linear Representation of Tree Structure: {A} Mathematical Theory of Parenthesis-Free Notations}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {50--62}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805038}, doi = {10.1145/800157.805038}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Meyers71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Munro71, author = {J. Ian Munro}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Some Results Concerning Efficient and Optimal Algorithms}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {40--44}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805036}, doi = {10.1145/800157.805036}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Munro71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Rajlich71, author = {V{\'{a}}clav Rajlich}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {132--137}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805045}, doi = {10.1145/800157.805045}, timestamp = {Wed, 06 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/Rajlich71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Robertson71, author = {Edward L. Robertson}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Complexity Classes of Partial Recursive Functions (Preliminary Version)}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {258--266}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805055}, doi = {10.1145/800157.805055}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Robertson71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Rosenberg71, author = {Arnold L. Rosenberg}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Addressable Data Graphs: Extended Abstract}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {138--150}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805046}, doi = {10.1145/800157.805046}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Rosenberg71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Santos71, author = {Eugene S. Santos}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Algebraic Structure Theory of Stochastic Machines}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {219--243}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805052}, doi = {10.1145/800157.805052}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Santos71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Stanat71, author = {Donald F. Stanat}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Formal Languages and Power Series}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {1--11}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805033}, doi = {10.1145/800157.805033}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Stanat71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Terrine71, author = {G{\'{e}}rard Terrine}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {185--205}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805050}, doi = {10.1145/800157.805050}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Terrine71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Wagner71, author = {Eric G. Wagner}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {An Algebraic Theory of Recursive Definitions and Recursive Languages}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {12--23}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805034}, doi = {10.1145/800157.805034}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Wagner71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/Wise71, author = {David S. Wise}, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Domolki's Algorithm Applied to Generalized Overlap Resolvable Grammars}, booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, pages = {171--184}, publisher = {{ACM}}, year = {1971}, url = {https://doi.org/10.1145/800157.805049}, doi = {10.1145/800157.805049}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/Wise71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stoc/STOC3, editor = {Michael A. Harrison and Ranan B. Banerji and Jeffrey D. Ullman}, title = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing, May 3-5, 1971, Shaker Heights, Ohio, {USA}}, publisher = {{ACM}}, year = {1971}, timestamp = {Mon, 17 Oct 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/STOC3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.