Conferences in DBLP
Donald F. Stanat Formal Languages and Power Series [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner An Algebraic Theory of Recursive Definitions and Recursive Languages [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Constable Loop Schemata [Citation Graph (0, 0)][DBLP ] Conf ] J. Ian Munro Some Results Concerning Efficient and Optimal Algorithms [Citation Graph (0, 0)][DBLP ] Conf ] Charles M. Fiduccia Fast Matrix Multiplication [Citation Graph (0, 0)][DBLP ] Conf ] W. J. Meyers Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-Free Notations [Citation Graph (0, 0)][DBLP ] Conf ] H. W. Buttelmann On Generalized Finite Automata and Unrestricted Generative Grammars [Citation Graph (0, 0)][DBLP ] Conf ] Leon S. Levy , Aravind K. Joshi Some Results in Tree Automata [Citation Graph (0, 0)][DBLP ] Conf ] Daniel M. Berry Block Structure: Retention or Deletion? (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Shi-Kuo Chang On the Parallel Computation of Local Operations [Citation Graph (0, 0)][DBLP ] Conf ] Luc Boasson An Iteration Theorem for One-Counter Languages [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Ginsburg , Jonathan Goldstine Intersection-Closed full AFL and the Recursively Enumerable Languages [Citation Graph (0, 0)][DBLP ] Conf ] Vaclav Rajlich Absolutely Parallel Grammars and Two-Way Deterministic Finite-State Transducers [Citation Graph (0, 0)][DBLP ] Conf ] Arnold L. Rosenberg Addressable Data Graphs: Extended Abstract [Citation Graph (0, 0)][DBLP ] Conf ] Stephen A. Cook The Complexity of Theorem-Proving Procedures [Citation Graph (19, 0)][DBLP ] Conf ] Alfred V. Aho , Jeffrey D. Ullman The Care and Feeding of LR(k) Grammars [Citation Graph (0, 0)][DBLP ] Conf ] David S. Wise Domolki's Algorithm Applied to Generalized Overlap Resolvable Grammars [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Robert McNaughton A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets [Citation Graph (0, 0)][DBLP ] Conf ] Eugene S. Santos Algebraic Structure Theory of Stochastic Machines [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Constable , Juris Hartmanis Complexity of Formal Translations and Speed-Up Results [Citation Graph (0, 0)][DBLP ] Conf ] Michael Machtey Classification of Computable Functions by Primitive Recursive Classes [Citation Graph (0, 0)][DBLP ] Conf ] Edward L. Robertson Complexity Classes of Partial Recursive Functions (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] 