Conferences in DBLP
Barry K. Rosen Program Equivalence and Context-Free Grammars [Citation Graph (0, 0)][DBLP ] Conf ] Denis J. Kfoury Effective Computability in Algebraic Structures (A Schematology Approach) [Citation Graph (0, 0)][DBLP ] Conf ] John C. Cherniavsky , Robert L. Constable Representing Program Schemes in Logic [Citation Graph (0, 0)][DBLP ] Conf ] George Tourlakis , John Mylopoulos Some Results in Computational Topology [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer , Robert Moll Honest Bounds for Complexity Classes of Recursive Functions [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Logrippo Renamings in Program Schemas (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] John L. Bruno , Edward G. Coffman Jr. , W. H. Hosken Consistency of Synchronization Nets using P and V Operations [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Keller On the Decomposition of Asynchronous Systems [Citation Graph (0, 0)][DBLP ] Conf ] R. Moenck , Allan Borodin Fast Modular Transforms via Division [Citation Graph (0, 0)][DBLP ] Conf ] Ellis Horowitz The Efficient Calculation of Powers of Polynomials [Citation Graph (0, 0)][DBLP ] Conf ] Mary Shaw , J. F. Traub On the Number of Multiplications for the Evaluation of a Polynomial and All Its Derivatives [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos On the Relation of Graph Grammars and Graph Automata [Citation Graph (0, 0)][DBLP ] Conf ] R. Hossley , Charles Rackoff The Emptiness Problem for Automata on Infinite Trees [Citation Graph (0, 0)][DBLP ] Conf ] Albert R. Meyer , Larry J. Stockmeyer The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space [Citation Graph (0, 0)][DBLP ] Conf ] Sartaj Sahni Some Related Problems from Network Flows, Game Theory and Integer Programming [Citation Graph (1, 0)][DBLP ] Conf ] Nathan Friedman Some Results on the Effect of Arithmetics on Comparison Problems [Citation Graph (0, 0)][DBLP ] Conf ] David S. Johnson Fast Allocation Algorithms [Citation Graph (0, 0)][DBLP ] Conf ] C. L. Liu Optimal Scheduling on Multi-Processor Computing Systems [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey D. Ullman A Fast Algorithm for the Elimination of Common Subexpressions [Citation Graph (0, 0)][DBLP ] Conf ] Sheldon B. Akers Jr. Universal Test Sets for Logic Networks [Citation Graph (0, 0)][DBLP ] Conf ] Kewal K. Saluja , Sudhakar M. Reddy Multiple Faults in Reed-Muller Canonic Networks [Citation Graph (0, 0)][DBLP ] Conf ] C. C. Huang , Richard Y. Kain , Larry L. Kinney Output Sufficient Modules for Uniform Decomposition of Synchronous Sequential Circuits [Citation Graph (0, 0)][DBLP ] Conf ] Jean Berstel On Sets of Numbers Recognized by Push-Down Automata [Citation Graph (0, 0)][DBLP ] Conf ] Brenda S. Baker , Ronald V. Book Reversal-Bounded Multi-Pushdown Machines: Extended Abstract [Citation Graph (0, 0)][DBLP ] Conf ] J. Robert Jump , P. S. Thiagarajan On the Equivalence of Asynchronous Control Structures [Citation Graph (0, 0)][DBLP ] Conf ] T. S. E. Maibaum The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets [Citation Graph (0, 0)][DBLP ] Conf ] 