Conferences in DBLP
Jacek Leszczylowski , Martin Wirsing Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. [Citation Graph (2, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud Executable Higher-Order Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Scott Vitter Efficient Memory Access in Large-Scale Computation. [Citation Graph (2, 0)][DBLP ] Conf ] Peter Roth l-Occurrences of Avoidable Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Christiane Frougny , Jacques Sakarovitch Rational Ralations with Bounded Delay. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Schmidt On the Power of Several Queues. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanna Guaiana , Antonio Restivo , Sergio Salemi On Aperiodic Trace Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Gastin Recognizable and Rational Languages of Finite and Infinite Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Diekert On the Concatenation of Infinite Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Maria J. Serna , Paul G. Spirakis Tight RNC Approximations to Max Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Godau A Natural Metric for Curves - Computing the Distance for Polygonal Chains and Approximation Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Wegener The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap Sort is Less Than n log n + 1.1n. [Citation Graph (0, 0)][DBLP ] Conf ] Rémi Gilleron Decision Problems for Term Rewriting Systems and Recognizable Tree Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Madlener , Friedrich Otto Decidable Sentences for Context-Free Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Rossmanith The Owner Concept for PRAMs. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Baude , Guy Vidal-Naquet Actors as a Parallel Programming Model. [Citation Graph (0, 0)][DBLP ] Conf ] Luc Albert , Rafael Casas , François Fages , A. Torrecillas , Paul Zimmermann Average Case Analysis of Unification Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Bal Wang , R. K. Shyamasundar Methodology for Proving the Termination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Miklos Santha , Christopher B. Wilson Polynomial Size Constant Depth Circuits with a Limited Number of Negations. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Tarui Randomized Polynomials, Threshold Circuits, and the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Brassard , Claude Crépeau , Sophie Laplante , Christian Léger Computationally Convincing Proofs of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Lance Fortnow , Carsten Lund Interactive Proof Systems and Alternating Time-Space Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Schmeltz Optimal Tradeoffs Between Time And Bit Complexity In Distributed Synchronous Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Baum-Waidner , Birgit Pfitzmann , Michael Waidner Unconditional Byzantine Agreement with Good Majority. [Citation Graph (0, 0)][DBLP ] Conf ] Svante Carlsson , Christer Mattsson , Patricio V. Poblete , Mats Bengtsson A New Compacting Garbage-Collection Algorithm with a Good Average-Case Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Vogler Bisimulation and Action Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Jéron Testing for Unboundedness of FIFO Channels. [Citation Graph (0, 0)][DBLP ] Conf ] Joffroy Beauquier , Annie Choquet , Antoine Petit , Guy Vidal-Naquet Detection of Deadlocks in an Infinite Family of Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan F. Buss , Judy Goldsmith Nondterminism Within P. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Buntrock , Carsten Damm , Ulrich Hertrampf , Christoph Meinel Structure and Importance of Logspace-MOD-Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Vladislav Rutenburg Complexity Classification of Truth Maintenance Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Jörg Desel , Javier Esparza Reachability in Reversible Free Choice Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best , Ludmila Cherkasova , Jörg Desel Compositional Generation of Home States in Free Choice Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Edith Spaan , Leen Torenvliet Bounded Reductions. [Citation Graph (0, 0)][DBLP ] Conf ] Carme Àlvarez , José L. Balcázar , Birgit Jenner Functional Oracle Queries as a Measure of Parallel Time. [Citation Graph (0, 0)][DBLP ] Conf ] Gisela Pitsch , Elmar Schömer Optimal Parallel Recognition of Bracket Languages on Hypercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Sanguthevar Rajasekaran , Richard Overholt Constant Queue Routing on a Mesh. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Condon The Complexity of the Max Word Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel The Expressive Power of Second Order Horn Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Alfredo De Santis , Giuseppe Persiano Tight Bounds on the Path Length of Binary Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Hartmann The Random Testability of the n-Input AND Gate. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Schoett An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] François Denis , Jean-Paul Delahaye Unfolding, Procedural and Fixpoint Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Berghammer , Gunther Schmidt The RELVIEW-System. [Citation Graph (0, 0)][DBLP ] Conf ] E. V. Biryalcev , A. M. Gusenkov , Ildar R. Nasyrov , A. A. Saveliev Geometry Models Design System GammaPOM. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold Hoffmann , Bernd Krieg-Brückner The PROSPECTRA System. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Jéron Prototype of a Verification Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Kröger , Lothar Schmitz IPG - An Interactive Parser Generator. [Citation Graph (0, 0)][DBLP ] Conf ] Simone Pimont A Placement System for Constrained Blocks with Flexible Shapes. [Citation Graph (0, 0)][DBLP ] Conf ] D. Rayko , Kirill Vershinin , Igor Romanenko Algebraic Program Interpreter APREX2. [Citation Graph (0, 0)][DBLP ] Conf ] 