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/stoc70.bht:"
download as .bib file
@inproceedings{DBLP:conf/stoc/AhoU70,
author = {Alfred V. Aho and
Jeffrey D. Ullman},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Transformations on Straight Line Programs-Preliminary Version},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {136--148},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805159},
doi = {10.1145/800161.805159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/AhoU70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ausiello70,
author = {Giorgio Ausiello},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {On Bounds on the Number of Steps to Compute Functions},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {41--47},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805148},
doi = {10.1145/800161.805148},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Ausiello70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BassY70,
author = {Leonard J. Bass and
Paul R. Young},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Hierarchies Based on Computational Complexity and Irregularities of
Class Determining Measured Sets (Preliminary Report)},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {37--40},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805147},
doi = {10.1145/800161.805147},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BassY70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BookGW70,
author = {Ronald V. Book and
Sheila A. Greibach and
Ben Wegbreit},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {92--99},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805154},
doi = {10.1145/800161.805154},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/BookGW70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Burkhard70,
author = {Walter A. Burkhard},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Complexity Problems in Real Time Computation},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {62--69},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805150},
doi = {10.1145/800161.805150},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Burkhard70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Chang70,
author = {Shi{-}Kuo Chang},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {The Analysis of Two-Dimensional Patterns using Picture Processing
Grammars},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {206--216},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805166},
doi = {10.1145/800161.805166},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Chang70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Constable70,
author = {Robert L. Constable},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {On the Size of Programs in Subrecursive Formalisms},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {1--9},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805143},
doi = {10.1145/800161.805143},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Constable70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Cook70,
author = {Stephen A. Cook},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Path Systems and Language Recognition},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {70--72},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805151},
doi = {10.1145/800161.805151},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Cook70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Cudia70,
author = {Dennis F. Cudia},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {The Degree Hierarchy of Undecidable Problems of Formal Grammars},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {10--21},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805144},
doi = {10.1145/800161.805144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Cudia70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ellis70,
author = {Clarence A. Ellis},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Probabilistic Tree Automata},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {198--205},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805165},
doi = {10.1145/800161.805165},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Ellis70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/KingF70,
author = {James C. King and
Robert W. Floyd},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {An Interpretation Oriented Theorem Prover over Integers},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {169--179},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805162},
doi = {10.1145/800161.805162},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/KingF70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/LandweberR70,
author = {Lawrence H. Landweber and
Edward L. Robertson},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Recursive Properties of Abstract Complexity Classes (Preliminary Version)},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {31--36},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805146},
doi = {10.1145/800161.805146},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/LandweberR70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lewis70,
author = {Forbes D. Lewis},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Unsolvability Considerations in Computational Complexity},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {22--30},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805145},
doi = {10.1145/800161.805145},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lewis70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lewis70a,
author = {David J. Lewis},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Closure of Families of Languages under Substitution Operators},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {100--108},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805155},
doi = {10.1145/800161.805155},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lewis70a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Lindstrom70,
author = {Gary Lindstrom},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {The Design of Parsers for Incremental Language Processors},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {81--91},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805153},
doi = {10.1145/800161.805153},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Lindstrom70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Manna70,
author = {Zohar Manna},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Second-Order Mathematical Theory of Computation},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {158--168},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805161},
doi = {10.1145/800161.805161},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Manna70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/MartinV70,
author = {David F. Martin and
Steven A. Vere},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {On Syntax-Directed Transduction and Tree Transducers},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {129--135},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805158},
doi = {10.1145/800161.805158},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/MartinV70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/McGowan70,
author = {Clement L. McGowan},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {The Correctness of a Modified {SECD} Machine},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {149--157},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805160},
doi = {10.1145/800161.805160},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/McGowan70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Morris70,
author = {James B. Morris},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {A Result on the Relationship between Simple Precedence Languages and
Reducing Transition Languages},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {73--80},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805152},
doi = {10.1145/800161.805152},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Morris70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Nivat70,
author = {Maurice Nivat},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {On Some Families of Languages Related to the Dyck Language},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {221--225},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805168},
doi = {10.1145/800161.805168},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Nivat70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Perrot70,
author = {Jean{-}Fran{\c{c}}ois Perrot},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {On The Relationship between Finite Automata, Finite Monoids, and Prefix
Codes},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {217--220},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805167},
doi = {10.1145/800161.805167},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Perrot70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Reiter70,
author = {Raymond Reiter},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {The Predicate Elimination Strategy in Theorem Proving},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {180--183},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805163},
doi = {10.1145/800161.805163},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Reiter70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rosen70,
author = {Barry K. Rosen},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Tree-Manipulating Systems and Church-Rosser Theorems},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {117--127},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805157},
doi = {10.1145/800161.805157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rosen70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rosenberg70,
author = {Arnold L. Rosenberg},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Data Graphs and Addressing Schemes: Extended Abstract},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {48--61},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805149},
doi = {10.1145/800161.805149},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rosenberg70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rounds70,
author = {William C. Rounds},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed
Languages},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {109--116},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805156},
doi = {10.1145/800161.805156},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rounds70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Strong70,
author = {H. R. Strong Jr.},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Translating Recursion Equations into Flow Charts},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {184--197},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805164},
doi = {10.1145/800161.805164},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Strong70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Ullian70,
author = {Joseph S. Ullian},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Three Theorems on Abstract Families of Languages},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {226--230},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805169},
doi = {10.1145/800161.805169},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Ullian70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC2,
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
publisher = {{ACM}},
year = {1970},
timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/STOC2.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-05-06 19:45 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:
