Conferences in DBLP
C. J. Tan , Premachandran R. Menon , Arthur D. Friedman Structural Simplification and Decomposition of Asynchronous Sequential Circuits [Citation Graph (0, 0)][DBLP ] Conf ] Larry L. Kinney A Characterization of Some Asynchronous State Assignments [Citation Graph (0, 0)][DBLP ] Conf ] Scott J. Schwartz An Algorithm for Minimizing Read Only Memories for Machine Control [Citation Graph (0, 0)][DBLP ] Conf ] T. T. Nieh , Jack W. Carlyle On a Measure of Complexity for Stochastic Sequential Machines [Citation Graph (0, 0)][DBLP ] Conf ] Azaria Paz Infinite State Probabilistic Transition Tables and Chains Ergodic Properties [Citation Graph (0, 0)][DBLP ] Conf ] Alan Cobham On the Hartmanis-Stearns Problem for a Class of TAG Machines [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner ``Tapeless'' Bounded Action Machines [Citation Graph (0, 0)][DBLP ] Conf ] Philip M. Spira On the Computation Time of Finite Functions [Citation Graph (0, 0)][DBLP ] Conf ] Fred L. Luconi Output Functional Computational Structures [Citation Graph (0, 0)][DBLP ] Conf ] Takayasu Ito Some Formal Properties of a Class of Non-Deterministic Program Schemata [Citation Graph (0, 0)][DBLP ] Conf ] Sanat K. Basu Transformation of Program Schemes to Standard Forms [Citation Graph (0, 0)][DBLP ] Conf ] Richard Edwin Stearns , Philip M. Lewis II Property Grammars and Table Machines [Citation Graph (0, 0)][DBLP ] Conf ] Gordon Whitney The Position of Table Languages within the Hierarchy of Nondeterministic On-Line Tape-Bounded Turing Machine Languages [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Fischer Grammars with Macro-Like Productions [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Jeffrey D. Ullman Automaton Analogs of Syntax Directed Translation Schemata [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Petrone Syntax Directed Mappings of Context-Free Languages [Citation Graph (0, 0)][DBLP ] Conf ] Marvin C. Paull , Stephen H. Unger Structural Equivalence and LL-k Grammars [Citation Graph (0, 0)][DBLP ] Conf ] C. Dennis Weiss Optimal Synthesis of Arbitrary Switching Functions with Regular Arrays of 2-Input, 1-Output Switching Elements [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Lechner A Transform Approach to Logic Design [Citation Graph (0, 0)][DBLP ] Conf ] Melvin A. Breuer Fault Detection in a Linear Cascade of Identical Machines [Citation Graph (0, 0)][DBLP ] Conf ] Amar Mukhopadhyay Lupanov Decoding Networks [Citation Graph (0, 0)][DBLP ] Conf ] William H. Kautz , James Turner Universal Connecting Networks and the Synthesis of Canonical Sequential Circuits [Citation Graph (0, 0)][DBLP ] Conf ] Alvy Ray Smith III Simple Computation-Universal Cellular Spaces and Self-Reproduction [Citation Graph (0, 0)][DBLP ] Conf ] Janusz A. Brzozowski Regular-Like Expressions for Some Irregular Languages [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. Greibach Checking Automata and One-Way Stack Languages (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Ginsburg , John E. Hopcroft Two-Way Balloon Automata and AFL [Citation Graph (0, 0)][DBLP ] Conf ] Ronald V. Book Grammars with Linear Time Functions [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Ginsburg , Edwin H. Spanier Derivation-Bounded Languages [Citation Graph (0, 0)][DBLP ] Conf ] Mario Schkolnick Two-Type Bracketed Grammars [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis , John E. Hopcroft Structure of Undecidable Problems in Automata Theory [Citation Graph (0, 0)][DBLP ] Conf ] Paul R. Young Toward a Theory of Enumerations [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer , Patrick C. Fischer On Computational Speed-Up [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Fischer , Arnold L. Rosenberg Limited Random Access Turing Machines [Citation Graph (0, 0)][DBLP ] Conf ] Gabor T. Herman The Uniform Halting Problem for Generalized One State Turing Machines [Citation Graph (0, 0)][DBLP ] Conf ] Patrick C. Fischer , Juris Hartmanis , Manuel Blum Tape Reversal Complexity Hierarchies [Citation Graph (0, 0)][DBLP ] Conf ] Rina S. Cohen Transition Graphs and the Star Height Problem [Citation Graph (0, 0)][DBLP ] Conf ] David E. Muller Use of Multiple Index Matrices in Generalized Automata Theory [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Yeh Structural Equivalence of Automata [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey D. Ullman , Peter Weiner Universal Two State Machines: Characterization Theorems and Decomposition Schemes [Citation Graph (0, 0)][DBLP ] Conf ] Wayne A. Davis The Linearity of Sequential Machines: A Critical Review [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. Arnold , Chung-Jen Tan , Monroe M. Newborn Iteratively Realized Sequential Circuits [Citation Graph (0, 0)][DBLP ] Conf ] 