Conferences in DBLP
Robert L. Constable On the Size of Programs in Subrecursive Formalisms [Citation Graph (0, 0)][DBLP ] Conf ] Dennis F. Cudia The Degree Hierarchy of Undecidable Problems of Formal Grammars [Citation Graph (0, 0)][DBLP ] Conf ] Forbes D. Lewis Unsolvability Considerations in Computational Complexity [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence H. Landweber , Edward L. Robertson Recursive Properties of Abstract Complexity Classes (Preliminary Version) [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Giorgio Ausiello On Bounds on the Number of Steps to Compute Functions [Citation Graph (0, 0)][DBLP ] Conf ] Arnold L. Rosenberg Data Graphs and Addressing Schemes: Extended Abstract [Citation Graph (0, 0)][DBLP ] Conf ] Walter A. Burkhard Complexity Problems in Real Time Computation [Citation Graph (0, 0)][DBLP ] Conf ] Stephen A. Cook Path Systems and Language Recognition [Citation Graph (0, 0)][DBLP ] Conf ] James B. Morris A Result on the Relationship between Simple Precedence Languages and Reducing Transition Languages [Citation Graph (0, 0)][DBLP ] Conf ] Gary Lindstrom The Design of Parsers for Incremental Language Processors [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book , Sheila A. Greibach , Ben Wegbreit Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract [Citation Graph (0, 0)][DBLP ] Conf ] David J. Lewis Closure of Families of Languages under Substitution Operators [Citation Graph (0, 0)][DBLP ] Conf ] William C. Rounds Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages [Citation Graph (0, 0)][DBLP ] Conf ] Barry K. Rosen Tree-Manipulating Systems and Church-Rosser Theorems [Citation Graph (0, 0)][DBLP ] Conf ] David F. Martin , Steven A. Vere On Syntax-Directed Transduction and Tree Transducers [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Jeffrey D. Ullman Transformations on Straight Line Programs-Preliminary Version [Citation Graph (0, 0)][DBLP ] Conf ] Clement L. McGowan The Correctness of a Modified SECD Machine [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna Second-Order Mathematical Theory of Computation [Citation Graph (0, 0)][DBLP ] Conf ] James C. King , Robert W. Floyd An Interpretation Oriented Theorem Prover over Integers [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Reiter The Predicate Elimination Strategy in Theorem Proving [Citation Graph (0, 0)][DBLP ] Conf ] H. R. Strong Jr. Translating Recursion Equations into Flow Charts [Citation Graph (0, 0)][DBLP ] Conf ] Clarence A. Ellis Probabilistic Tree Automata [Citation Graph (0, 0)][DBLP ] Conf ] Shi-Kuo Chang The Analysis of Two-Dimensional Patterns using Picture Processing Grammars [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Perrot On The Relationship between Finite Automata, Finite Monoids, and Prefix Codes [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Nivat On Some Families of Languages Related to the Dyck Language [Citation Graph (0, 0)][DBLP ] Conf ] Joseph S. Ullian Three Theorems on Abstract Families of Languages [Citation Graph (0, 0)][DBLP ] Conf ] 