Conferences in DBLP
Valery N. Agafonov From Specification Languages to Specification Knowledge Bases: The PTO Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle Monadic Second-Order Logic and Context-Free Graph-Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel A Thesis for Bounded Concurrency. [Citation Graph (1, 0)][DBLP ] Conf ] Juris Hartmanis , Desh Ranjan Space Bounded Computations: Review And New Separation Results. [Citation Graph (0, 0)][DBLP ] Conf ] Ludmila Cherkasova , Vadim E. Kotov Concurrent Nondeterministic Processes: Adequacy of Structure and Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Stefan Näher LEDA: A Library of Efficient Data Types and Algorithms. [Citation Graph (2, 0)][DBLP ] Conf ] Ernst-Rüdiger Olderog Correctness of Concurrent Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Boris A. Trakhtenbrot Understanding Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Hajnal Andréka , István Németi , Ildikó Sain On the Strength of Temporal Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Andrews Proof-Theoretic Characterisations of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Badouel Algebraic Closed Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Calude , Dragos Vaida Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan S. Chlebus , Krzysztof Diks , Wojciech Rytter , Tomasz Szymacha Parallel Complexity of Lexicographically First Order Problems for Tree-Structured Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dassow , Juraj Hromkovic , Juhani Karhumäki , Branislav Rovan , Anna Slobodová On the Power of Synchronization in Parallel Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Diks , Torben Hagerup , Wojciech Rytter Optimal Parallel Algorithms For The Recognition And Colouring Outerplanar Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Charles Elkan Logical Characterizations of Nonmonotonic TMSs. [Citation Graph (0, 0)][DBLP ] Conf ] Jordi Farrés-Casals Proving Correctness of Constructor Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Rob J. van Glabbeek , Ursula Goltz Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Rodney R. Howell , Louis E. Rosier System Simulation and the Sensitivity of Self-Stabilization. [Citation Graph (0, 0)][DBLP ] Conf ] Lane A. Hemachandra , Albrecht Hoene , Dirk Siefkes Polynomial-Time Functions Generate SAT: On P-Splinters. [Citation Graph (0, 0)][DBLP ] Conf ] Uschi Heuter Generalized Definite Tree Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Holte , Louis E. Rosier , Igor Tulchinsky , Donald A. Varvel Pinwheel Scheduling With Tow Distinct Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Iwanowski Testing Approximate Symmetry in the Plane is NP-hard. [Citation Graph (0, 0)][DBLP ] Conf ] C. Jousselin , J.-P. Moskowitz Memory and Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Just Integer Relations Among Algebraic Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Joost N. Kok An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Kowalczyk Complexity of Decision Problems Under Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Manca , Antonino Salibra , Giuseppe Scollo On the Nature of TELLUS (a Typed Equational Logic Look over Uniform Specification). [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Meinel Switching Graphs and Their Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] John-Jules Ch. Meyer , Erik P. de Vink Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David A. Mix Barrington , Pierre McKenzie Oracle Branching Programs and Logspace versus P. [Citation Graph (0, 0)][DBLP ] Conf ] David T. H. Ng , B. John Oommen Generalizing Singly-Linked List Reorganizing Heuristics for Doubly-Linked Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Palko , Ondrej Sýkora , Imrich Vrto Area Complexity of Merging. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Péladeau Logically Defined Subsets of Nk . [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Petermann An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Petit Characterization of Recognizable Trace Languages by Distributed Automata (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Mireille Régnier Knuth-Morris-Pratt Algorithm: An Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Saoudi Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Meineche Schmidt , Michael I. Schwartzbach An Imperative Type Hierarchy with Partial Products. [Citation Graph (0, 0)][DBLP ] Conf ] Maciej Slusarek A Coloring Algorithm for Interval Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen , Jens Knoop Finite Constants: Characterizations of a New Decidable Set of Constants. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Steffen Optimal Data Flow Analysis via Observational Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Stetsenko One More Method For Proving Lower Bounds on the Formula Complexity of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Danuta Szczepanska The Hoare-Like Verification System for a Language with an Exception Handling Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Weber On the Length of Values in a Finite Transducer. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Weil On Varieties of Languages Closed Under Products with Counter. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Wiedermann On the Computational Efficiency of Symmetric Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Yoccoz Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Marek Zaionc How to Define Functionals of Free Structures in Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Antoni W. Mazurkiewicz Concurrency, Modularity, and Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Farid M. Ablayev On Comparing Probabilistic and Deterministic Automata Complexity of Languages. [Citation Graph (0, 0)][DBLP ] Conf ] 