Conferences in DBLP
László Lovász Vertex Packing Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli Linear and Branching Structures in the Semantics and Logics of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Maurice Nivat About Rational Sets of Factors of a Bi-Infinite Word. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ben-Or , Oded Goldreich , Silvio Micali , Ronald L. Rivest A Fair Protocol for Signing Contracts (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Bilardi , Franco P. Preparata The Influence of Key Length on the Area-Time Complexity of Sorting. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Bougé Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Walter Bucher , Andrzej Ehrenfeucht , David Haussler On Total Regulators Generated by Derivation Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Chazelle , Herbert Edelsbrunner Optimal Solutions for a Class of Point Retrieval Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Chazelle , Leonidas J. Guibas Fractional Cascading: A Data Structuring Technique with Geometric Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Chrobak Hierarchies of One-Way Multihead Automata Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Cole Partitioning Point Sets in 4 Dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Coppo A Completeness Theorem for Recursively Defined Types. [Citation Graph (1, 0)][DBLP ] Conf ] Pierre-Louis Curien Categorial Combinatory Logic. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker , Joost N. Kok Towards a Uniform Topological Treatment of Streams and Functions on Streams. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Paul De Bra Imposed-Functional Dependencies Inducing Horizontal Decompositions. [Citation Graph (3, 0)][DBLP ] Conf ] Joost Engelfriet , Heiko Vogler Characterization of High Level Tree Transducers. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet Ambiguity and Transcendence. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Fortune A Fast Algorithm for Polygon Containment by Translation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Fürer Deterministic and Las Vegas Primality Testing Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Harold N. Gabow , Matthias F. M. Stallmann Efficient Algorithms for Graphic Matroid Intersection and Parity (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer Operational Semantics for Order-Sorted Algebra. [Citation Graph (1, 0)][DBLP ] Conf ] Carl A. Gunter A Universal Domain Technique for Profinite Posets. [Citation Graph (0, 0)][DBLP ] Conf ] Georges Hansel A Simple Proof of the Skolem-Mahler-Lech Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis , Neil Immerman On Complete Problems for NP$\cap$CoNP. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy An Algebraic Theory of Fair Asynchronous Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Teresa Hortalá-González , Mario Rodríguez-Artalejo Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Hrbacek Powerdomains as Algebraic Lattices (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Mark Jerrum Random Generation of Combinatorial Structures from a Uniform Distribution (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] J. Howard Johnson Do Rational Equivalence Relations have Regular Cross-Sections? [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Jung On Probabilistic Time and Space. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf G. Karlsson , J. Ian Munro , Edward L. Robertson The Nearest Neighbor Problem on Bounded Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kaufmann , Kurt Mehlhorn Routing Through a Generalized Switchbox. [Citation Graph (0, 0)][DBLP ] Conf ] Veikko Keränen On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet. [Citation Graph (0, 0)][DBLP ] Conf ] Juha Kortelainen Every Commutative Quasirational Language is Regular. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas G. Kurtz , Udi Manber A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Gad M. Landau , Mordechai M. Yung , Zvi Galil Distributed Algorithms in Synchronous Broadcasting Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen A Context Dependent Equivalence between Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Li Lower Bounds by Kolmogorov-Complexity (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael Luby , Prabhakar Ragde A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Michael G. Main , Walter Bucher , David Haussler Applications of an Infinite Squarefree CO-CFL. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Richard J. Waldinger Special Relations in Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Athanasios K. Tsakalidis Dynamic Interpolation Search. [Citation Graph (0, 0)][DBLP ] Conf ] Pekka Orponen , David A. Russo , Uwe Schöning Polynomial Levelability and Maximal Complexity Cores. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Eric Pin Finite Group Topology and p-Adic Topology for Free Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Seppo Sippu , Eljas Soisalon-Soininen On the Use of Relational Expressions in the Design of Efficient Algorithms (Extended Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] A. Prasad Sistla , Moshe Y. Vardi , Pierre Wolper The Complementation Problem for Büchi Automata with Applications to Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Colin Stirling A Complete Compositional Model Proof System for a Subset of CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Varman , I. V. Ramakrishnan On Matrix Multiplication Using Array Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Uzi Vishkin Optimal Parallel Pattern Matching in Strings (Extended Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Job Zwiers , Willem P. de Roever , Peter van Emde Boas Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. [Citation Graph (0, 0)][DBLP ] Conf ] 