Conferences in DBLP
Claus-Peter Schnorr Geometry of Numbers and Integer Programming (Summary). [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Gambosi , Giuseppe F. Italiano , Maurizio Talamo Getting Back to the Past in the Union-Find Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Becker , Reiner Kolla On the Construction of Optimal Time Adders (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Just , Friedhelm Meyer auf der Heide , Avi Wigderson On Computations with Integer Division. [Citation Graph (0, 0)][DBLP ] Conf ] Mark H. Overmars , Michiel H. M. Smid Maintaining Range Trees in Secondary Memory (Extended Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] David Fernández-Baca , Giora Slutzki Solving Parametric Problems on Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Unger On the k-Colouring of Circle-Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] François Bergeron , Gilbert Labelle , Pierre Leroux Functional Equations for Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Meinel The Power of Polynomial Size Omega-Branching Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning , Klaus W. Wagner Collapsing Oracle Hierarchies, Census Functions and Logarithmically Many Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel Domino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations. [Citation Graph (0, 0)][DBLP ] Conf ] Ingolf Wald An Automatic Speed-up of Random Access Machines with Powerful Arithmetic Instructions. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Jenner , Bernd Kirsig Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert , Axel Möbus Hotz-Isomorphism Theorems in Formal Language Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Uschi Heuter First-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Terlutte Cyclic Rational Transductions and Polynomials of Rational Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Clelia de Felice Construction of a Family of Finite Maximal Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Paul Allouche , Bernard Rande , Loÿs Thimonier Fonctions Génératrices Transcendantes à Coefficients Engendrés par Automates. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé The Relation of Two Patterns with Comparable Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Wadoud Bousdira , Jean-Luc Remy Hierarchical Contextual Rewriting with Several Levels. [Citation Graph (0, 0)][DBLP ] Conf ] Egidio Astesiano , Alessandro Giovini , Gianna Reggio Generalized Bisimulation in Relational Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Franz-Josef Brandenburg On Polynomial Time Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Paul G. Spirakis , Basil Tampakas Efficient Distributed Algorithms by Using the Archemedean Time Assumption. [Citation Graph (0, 0)][DBLP ] Conf ] Martín Abadi , Joan Feigenbaum A Simple Protocol for Secure Circuit Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Guan-Ing Chen , Ten-Hwang Lai Scheduling Independent Jobs on Hypercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Klein , Derick Wood Voronoi Diagrams Based on General Metrics in the Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Santoro , Stuart J. Sidney , Jorge Urrutia Geometric Containment, Common Roots of Polynomials and Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Lienhardt Extension of the Notion of Map and Subdivisions of a Three-Dimensional Space. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg-Rüdiger Sack , Subhash Suri An Optimal Algorithm for Detecting Weak Visibility of a Polygon (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Francis Avnaim , Jean-Daniel Boissonnat Polygon Placement Under Translation and Rotation. [Citation Graph (0, 0)][DBLP ] Conf ] Danilo Bruschi , Giovanni Pighizzini , Nicoletta Sabadini On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Edward Ochmanski On Morphisms of Trace Monoids. [Citation Graph (0, 0)][DBLP ] Conf ] Irène Guessarian , Wafaa Niar-Dinedane An Automaton Characterization of Fairness in SCCS. [Citation Graph (0, 0)][DBLP ] Conf ] Joost N. Kok A Compositional Semantics for Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Bellot , Remi Legrand Functions and Relations: The GRAAL System. [Citation Graph (0, 0)][DBLP ] Conf ] Marc V. Benveniste LPC: A Concurrent Programming Laboratory. [Citation Graph (0, 0)][DBLP ] Conf ] François Bergeron , G. Cartier Darwin: Computer Algebra and Enumerative Combinatorics. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour , Ricardo Caferra , Gilles Chaminade Some Tools for an Inference Laboratory (ATINF). [Citation Graph (0, 0)][DBLP ] Conf ] Louis Dewez , Jean-Michel Douin , Philippe Lucas MODULOG and the MODULA WorkStation. [Citation Graph (0, 0)][DBLP ] Conf ] B. Le Goff , Paul Le Guernic The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Amelia Soriano Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants. [Citation Graph (0, 0)][DBLP ] Conf ] Egon Wanke PLEXUS: A System for Implementing Hierarchical Graph Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] 