Conferences in DBLP
Ronald V. Book Towards a Theory of Relativizations: Positive Relativizations. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Kahn Natural Semantics. [Citation Graph (1, 0)][DBLP ] Conf ] Michael Kaufmann , Kurt Mehlhorn On Local Routing of Two-Terminal Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Aurenhammer , Hiroshi Imai Geometric Relations Among Voronoi Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] J. D. Brock Finding the Largest Empty Rectangle on a Grated Surface. [Citation Graph (0, 0)][DBLP ] Conf ] Kshitij Doshi , Peter J. Varman Efficient Graph Algorithm Using Limited Communication on a Fixed-Size Array of Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Bala Ravikumar , K. Ganesan , K. B. Lakshmanan On Selecting the Largest Element in Spite of Erroneous Information. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Lengauer , Klaus W. Wagner The Correlation Between the Complexities of the Nonhierarchical and Hierarchical Versions of Graph Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning Graph Isomorphism is in the Low Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Geske , Dung T. Huynh , Alan L. Selman A Hierarchy Theorem for Almost Everywhere Complex Sets With Application to Polynomial Complexity Degrees. [Citation Graph (0, 0)][DBLP ] Conf ] José L. Balcázar Self-Reducibility. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-yi Cai Probability One Separation of the Boolean Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic Reversal Complexity of Multicounter and Multihead Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni , Massimiliano Goldwurm , Nicoletta Sabadini Computing the Counting Function of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Veikko Keränen On the k-Freeness of Morphisms on Free Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Schmidt Avoidable Patterns on 2 Letters. [Citation Graph (0, 0)][DBLP ] Conf ] Mustapha Arfi Polynomial Operations on Rational Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Annegret Habel , Hans-Jörg Kreowski Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. [Citation Graph (1, 0)][DBLP ] Conf ] S. Kaplan , Amir Pnueli Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Beierle , Angi Voß On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types? [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert Some Remarks on Presentations by Finite Church-Rosser Thue Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger Ground Term Confluence in Parametric Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gunther Schmidt , Rudolf Berghammer , Hans Zierer Describing Semantic Domains with Sprouts. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Gianna Reggio Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. [Citation Graph (0, 0)][DBLP ] Conf ] Vikraman Arvind , Somenath Biswas Expressibility of First Order Logic with a Nondeterministic Inductive Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Taubner , Walter Vogler The Step Failure Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney R. Howell On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth Pelz Closure Properties of Deterministic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Priese , Ralf Rehrmann , Uwe Willecke-Klemme Some Results on Fairness: The Regular Case. [Citation Graph (0, 0)][DBLP ] Conf ] Heino Carstensen Decidability Questions for Fairness in Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Kunde Optimal Sorting on Multi-Dimensionally Mesh-Connected Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Molitor On the Contact-Minimization-Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Reuven Bar-Yehuda , Shay Kutten , Yaron Wolfstahl , Shmuel Zaks Making Distributed Spanning Tree Algorithms Fault-Resilient. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Tel , Richard B. Tan , Jan van Leeuwen The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Santoro , Jeffrey B. Sidney , Stuart J. Sidney On the Expected Complexity of Distributed Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Pascal Drabik , Rachid Echahed LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Bertling , Harald Ganzinger , Hubert Baumeister CEC (Conditional Equations Completion). [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit , Francis Capy , Christine Choppy , M.-A. Choquer , Stéphane Kaplan , Françoise Schlienger , Frédéric Voisin Asspegique: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Wadoud Bousdira , Jean-Luc Remy REVEUR4: A Laboratory for Conditional Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] N. Girard An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Hußmann The Passau RAP System: Rapid Prototyping for Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Lemoine , René Jacquart , Guy Zanon SPRAC: A Software Engineering Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg SLOG: A Logic Interpreter for Equational Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Goldsmith , A. Cox , Geoff Barrett An Algebraic Transformation System for Occam Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne REVE: A Rewrite Rule Laboratory. [Citation Graph (0, 0)][DBLP ] Conf ] 