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/stoc71.bht:"
download as .bib file
@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}
}
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-04-16 13:19 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:
