Conferences in DBLP
Jean Françon , G. Viennot , Jean Vuillemin Description and Analysis of an Efficient Priority Queue Representation [Citation Graph (0, 0)][DBLP ] Conf ] Leonidas J. Guibas , Robert Sedgewick A Dichromatic Framework for Balanced Trees [Citation Graph (23, 0)][DBLP ] Conf ] Andrew Chi-Chih Yao Should Tables Be Sorted? (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] George S. Lueker A Data Structure for Orthogonal Range Queries [Citation Graph (1, 0)][DBLP ] Conf ] Harry R. Lewis Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus [Citation Graph (0, 0)][DBLP ] Conf ] David Lichtenstein , Michael Sipser GO Is PSPACE Hard [Citation Graph (0, 0)][DBLP ] Conf ] Aviezri S. Fraenkel , M. R. Garey , David S. Johnson , T. Schaefer , Yaacov Yesha The Complexity of Checkers on an N * N Board - Preliminary Report [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis , Neil Immerman , Stephen R. Mahaney One-Way Log-Tape Reductions [Citation Graph (0, 0)][DBLP ] Conf ] Michael Sipser Halting Space-Bounded Computations [Citation Graph (0, 0)][DBLP ] Conf ] Leonard M. Adleman Two Theorems on Random Polynomial Time [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Reischuk Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Richard E. Ladner , Richard J. Lipton , Larry J. Stockmeyer Alternating Pushdown Automata (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] Janos Simon , John Gill , James Hunt On Tape-Bounded Probabilistic Turing Machine Transducers (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang J. Paul , Ernst J. Prauß , Rüdiger Reischuk On Alternation (Preliminary Version) [Citation Graph (0, 0)][DBLP ] Conf ] Joost Engelfriet , Grzegorz Rozenberg Equality Languages, Fixed Point Languages and Representations of Recursively Enumerable Languages [Citation Graph (0, 0)][DBLP ] Conf ] Ashok K. Chandra Computable Nondeterministic Functions [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Blum , Dexter Kozen On the Power of the Compass (or, Why Mazes Are Easier to Search than Graphs) [Citation Graph (0, 0)][DBLP ] Conf ] Imre Simon Limited Subsets of a Free Monoid [Citation Graph (0, 0)][DBLP ] Conf ] Harold Abelson Lower Bounds on Information Transfer in Distributed Computations [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Van de Wiele An Optimal Lower Bound on the Number of Total Operations to Compute 0-1 Polynomials over the Field of Complex Numbers [Citation Graph (0, 0)][DBLP ] Conf ] Victor Y. Pan Strassen's Algorithm Is not Optimal: Trililnear Technique of Aggregating, Uniting and Canceling for Constructing Fast Algorithms for Matrix Operations [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Parikh A Decidability Result for a Second Order Process Logic [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Flon , Norihisa Suzuki Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Lipton Model Theoretic Aspects of Computational Complexity [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle On Recursive Equations Having a Unique Solution [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann On the Algebra of Order (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Akira Kanda Data Types as Initial Algebras: A unification of Scottery and ADJery (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Galil A New Algorithm for the Maximal Flow Problem [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Simons A Fast Algorithm for Single Processor Scheduling [Citation Graph (0, 0)][DBLP ] Conf ] J. Ian Munro , Mike Paterson Selection and Sorting with Limited Storage [Citation Graph (0, 0)][DBLP ] Conf ] C. Christen Improving the Bounds on Optimal Merging [Citation Graph (0, 0)][DBLP ] Conf ] Chee-Keng Yap On Lifted Problems (Preliminary Reports) [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Chi-Chih Yao , F. Frances Yao On the Average-case Complexity of Selecting k-th Best [Citation Graph (0, 0)][DBLP ] Conf ] 