Conferences in DBLP
Robert L. Constable On the Size of Programs in Subrecursive Formalisms [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:1-9 [Conf ] Dennis F. Cudia The Degree Hierarchy of Undecidable Problems of Formal Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:10-21 [Conf ] Forbes D. Lewis Unsolvability Considerations in Computational Complexity [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:22-30 [Conf ] Lawrence H. Landweber , Edward L. Robertson Recursive Properties of Abstract Complexity Classes (Preliminary Version) [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:31-36 [Conf ] Leonard J. Bass , Paul R. Young Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:37-40 [Conf ] Giorgio Ausiello On Bounds on the Number of Steps to Compute Functions [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:41-47 [Conf ] Arnold L. Rosenberg Data Graphs and Addressing Schemes: Extended Abstract [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:48-61 [Conf ] Walter A. Burkhard Complexity Problems in Real Time Computation [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:62-69 [Conf ] Stephen A. Cook Path Systems and Language Recognition [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:70-72 [Conf ] James B. Morris A Result on the Relationship between Simple Precedence Languages and Reducing Transition Languages [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:73-80 [Conf ] Gary Lindstrom The Design of Parsers for Incremental Language Processors [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:81-91 [Conf ] Ronald V. Book , Sheila A. Greibach , Ben Wegbreit Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:92-99 [Conf ] David J. Lewis Closure of Families of Languages under Substitution Operators [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:100-108 [Conf ] William C. Rounds Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:109-116 [Conf ] Barry K. Rosen Tree-Manipulating Systems and Church-Rosser Theorems [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:117-127 [Conf ] David F. Martin , Steven A. Vere On Syntax-Directed Transduction and Tree Transducers [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:129-135 [Conf ] Alfred V. Aho , Jeffrey D. Ullman Transformations on Straight Line Programs-Preliminary Version [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:136-148 [Conf ] Clement L. McGowan The Correctness of a Modified SECD Machine [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:149-157 [Conf ] Zohar Manna Second-Order Mathematical Theory of Computation [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:158-168 [Conf ] James C. King , Robert W. Floyd An Interpretation Oriented Theorem Prover over Integers [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:169-179 [Conf ] Raymond Reiter The Predicate Elimination Strategy in Theorem Proving [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:180-183 [Conf ] H. R. Strong Jr. Translating Recursion Equations into Flow Charts [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:184-197 [Conf ] Clarence A. Ellis Probabilistic Tree Automata [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:198-205 [Conf ] Shi-Kuo Chang The Analysis of Two-Dimensional Patterns using Picture Processing Grammars [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:206-216 [Conf ] Jean-François Perrot On The Relationship between Finite Automata, Finite Monoids, and Prefix Codes [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:217-220 [Conf ] Maurice Nivat On Some Families of Languages Related to the Dyck Language [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:221-225 [Conf ] Joseph S. Ullian Three Theorems on Abstract Families of Languages [Citation Graph (0, 0)][DBLP ] STOC, 1970, pp:226-230 [Conf ]