Conferences in DBLP
Donald F. Stanat Formal Languages and Power Series [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:1-11 [Conf ] Eric G. Wagner An Algebraic Theory of Recursive Definitions and Recursive Languages [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:12-23 [Conf ] Robert L. Constable Loop Schemata [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:24-39 [Conf ] J. Ian Munro Some Results Concerning Efficient and Optimal Algorithms [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:40-44 [Conf ] Charles M. Fiduccia Fast Matrix Multiplication [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:45-49 [Conf ] W. J. Meyers Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:50-62 [Conf ] H. W. Buttelmann On Generalized Finite Automata and Unrestricted Generative Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:63-77 [Conf ] Leon S. Levy , Aravind K. Joshi Some Results in Tree Automata [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:78-85 [Conf ] Daniel M. Berry Block Structure: Retention or Deletion? (Extended Abstract) [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:86-100 [Conf ] Shi-Kuo Chang On the Parallel Computation of Local Operations [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:101-115 [Conf ] Luc Boasson An Iteration Theorem for One-Counter Languages [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:116-120 [Conf ] Seymour Ginsburg , Jonathan Goldstine Intersection-Closed full AFL and the Recursively Enumerable Languages [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:121-131 [Conf ] Vaclav Rajlich Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:132-137 [Conf ] Arnold L. Rosenberg Addressable Data Graphs: Extended Abstract [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:138-150 [Conf ] Stephen A. Cook The Complexity of Theorem-Proving Procedures [Citation Graph (19, 0)][DBLP ] STOC, 1971, pp:151-158 [Conf ] Alfred V. Aho , Jeffrey D. Ullman The Care and Feeding of LR(k) Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:159-170 [Conf ] David S. Wise Domolki's Algorithm Applied to Generalized Overlap Resolvable Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:171-184 [Conf ] Gérrine Terrine An Algorithm Generating the Decision Table of a Deterministic Bottom Up Parser for a Subset of Context Free Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:185-205 [Conf ] Robert McNaughton A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:206-218 [Conf ] Eugene S. Santos Algebraic Structure Theory of Stochastic Machines [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:219-243 [Conf ] Robert L. Constable , Juris Hartmanis Complexity of Formal Translations and Speed-Up Results [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:244-250 [Conf ] Michael Machtey Classification of Computable Functions by Primitive Recursive Classes [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:251-257 [Conf ] Edward L. Robertson Complexity Classes of Partial Recursive Functions (Preliminary Version) [Citation Graph (0, 0)][DBLP ] STOC, 1971, pp:258-266 [Conf ]