Conferences in DBLP
Richard J. Lipton A Necessary and Sufficient Condition for the Existence of Hoare Logics [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann , Michael B. Smyth Data Types (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Smyth , Gordon D. Plotkin The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke Program Invariants as Fixed Points (Preliminary Reports) [Citation Graph (0, 0)][DBLP ] Conf ] Gérard P. Huet Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli The Temporal Logic of Programs [Citation Graph (2, 0)][DBLP ] Conf ] Ronald V. Book Language Representation Theorems: How to Generate the R. E. Sets from the Regular Sets [Citation Graph (0, 0)][DBLP ] Conf ] Harry R. Lewis A New Decidable Problem, with Applications (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra The Unsolvability of the Equivalence Problem for epsilon-free NGSM's with Unary Input (Output) Alphabet and Applications [Citation Graph (0, 0)][DBLP ] Conf ] Howard P. Katseff , Michael Sipser Several Results in Program Size Complexity [Citation Graph (0, 0)][DBLP ] Conf ] Richard Statman The Typed lambda-Calculus Is not Elementary Recursive [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Berman Precise Bounds for Presburger Arithmetic and the Reals with Addition: Preliminary Report [Citation Graph (2, 0)][DBLP ] Conf ] Victor L. Bennison , Robert I. Soare Recursion Theoretic Characterizations of Complexity Theoretic Properties [Citation Graph (0, 0)][DBLP ] Conf ] Alfred V. Aho , Catriel Beeri , Jeffrey D. Ullman The Theory of Joins in Relational Data Bases (Extended Abstract) [Citation Graph (18, 0)][DBLP ] Conf ] Greg Nelson , Derek C. Oppen Fast Decision Algorithms Based on Union and Find [Citation Graph (2, 0)][DBLP ] Conf ] H. T. Kung , S. W. Song An Efficient Parallel Garbage Collection System and Its Correctness Proof [Citation Graph (5, 0)][DBLP ] Conf ] David Maier A Space Efficient Method for the Lowest Common Ancestor Problem and an Application to Finding Negative Cycles [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence Snyder On Uniquely Represented Data Structures (Extended Abstract) [Citation Graph (2, 0)][DBLP ] Conf ] Manuel Blum , William J. Sakoda On the Capability of Finite Automata in 2 and 3 Dimensional Space [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Lipton , Robert Endre Tarjan Application of a Planar Separator Theorem [Citation Graph (2, 0)][DBLP ] Conf ] Laurent Hyafil The Power of Commutativity [Citation Graph (0, 0)][DBLP ] Conf ] Leonard M. Adleman , Kenneth L. Manders , Gary L. Miller On Taking Roots in Finite Fields [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Galil , Joel I. Seiferas Saving Space in Fast String-Matching [Citation Graph (0, 0)][DBLP ] Conf ] Leonidas J. Guibas , Andrew M. Odlyzko A New Proof of the Linearity of the Boyer-Moore String Searching Algorithm [Citation Graph (1, 0)][DBLP ] Conf ] Philippe Flajolet , Jean-Claude Raoult , Jean Vuillemin On the Average Number of Registers Required for Evaluating Arithmetic Expressions [Citation Graph (0, 0)][DBLP ] Conf ] Eugene L. Lawler Fast Approximation Algorithms for Knapsack Problems [Citation Graph (0, 0)][DBLP ] Conf ] Edward G. Coffman Jr. , Joseph Y.-T. Leung Combinatorial Analysis of an Efficient Algorithm for Processor and Storage Allocation [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Chi-Chih Yao Probabilistic Computations: Toward a Unified Measure of Complexity (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Errol L. Lloyd On Triangulations of a Set of Points in the Plane [Citation Graph (0, 0)][DBLP ] Conf ] David A. Plaisted New NP-Hard and NP-Complete Polynomial and Integer Divisibility Problems [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Lower Bounds for Natural Proof Systems [Citation Graph (0, 0)][DBLP ] Conf ] 