Conferences in DBLP
Ronald Fagin , Moshe Y. Vardi The Theory of Data Dependencies - An Overview. [Citation Graph (4, 0)][DBLP ] Conf ] Arnold L. Rosenberg The VLSI Revolution in Theoretical Circles. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Abiteboul , Seymour Ginsburg Tuple Sequences and Indexes. [Citation Graph (0, 0)][DBLP ] Conf ] Foto N. Afrati , Christos H. Papadimitriou , George Papageorgiou The Complexity of Cubical Graphs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Ambos-Spies P-Generic Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Atzeni , Nicola M. Morfuni Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , Jan Willem Klop The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Bidoit Algebraic Specification of Exception Handling and Error Recovery by Means of Declarations and Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Anselm Blumer , J. Blumer , Andrzej Ehrenfeucht , David Haussler , Ross M. McConnell Building the Minimal DFA for the Set of all Subwords of a Word On-line in Linear Time. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Chazelle , Thomas Ottmann , Eljas Soisalon-Soininen , Derick Wood The Complexity and Decidability of Separation. [Citation Graph (0, 0)][DBLP ] Conf ] Charles J. Colbourn , Andrzej Proskurowski Concurrent Transmissions in Broadcast Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Maxime Crochemore Linear Searching for a Squre in a Word (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dybjer Domain Algebras. [Citation Graph (1, 0)][DBLP ] Conf ] Didier Ferment Principality Results About Some Matrix Languages Families. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg Oriented Equational Clauses as a Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Gardy , Claude Puech Relational Algebra Operations and Sizes of Relations. [Citation Graph (1, 0)][DBLP ] Conf ] Danièle Beauquier Some Results About Finite and Infinite Behaviours of a Pushdown Automaton. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Goltz , Alan Mycroft On the Relationship of CCS and Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed G. Gouda , Louis E. Rosier Communicating Finite State Machines with Priority Channnels. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne Graf , Joseph Sifakis A Modal Characterization of Observational Congruence on Finite Terms of CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic Communication Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra , Sam M. Kim , Louis E. Rosier Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyuki Izumi , Yasuyoshi Inagaki , Namio Honda A Complete Axiom System for Algebra of Closed-Regular Expression. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Jerrum The Complexity of Finding Minimum-Length Generator Sequences (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Jung On Probabilistic Tape Complexity and Fast Circuits for Matrix Inversion Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Karhumäki On Three-Element Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Kirschenhofer , Helmut Prodinger Recursion Depth Analysis for Specail Tree Traversal Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Lagarias Performance Analysis of Shamir's Attack on the Basic Merkle-Hellman Knapsack Cryptosystem. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Mannila Measures of Presortedness and Optimal Sorting Algorithms (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Stuart W. Margolis , Jean-Eric Pin Languages and Inverse Semigroups. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Franco P. Preparata Area-Time Optimal VLSI Integer Multiplier with Minimum Computation Time. [Citation Graph (0, 0)][DBLP ] Conf ] M. A. Nait Abdallah On the Interpretation of Infinite Computations in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Paige , Robert Endre Tarjan A Linear Time Algorithm to Solve the Single Function Coarsest Partition Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Jacques Pansiot Complexité des Facteurs des Mots Infinis Engendrés par Morphimes Itérés. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Pécuchet Automates Boustrophendon, Semi-Groupe de Birget et Monoide Inversiv Libre (Abstract/ Résumé). [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , Paul G. Spirakis Probabilistic Bidding Gives Optimal Distributed Resource Allocation. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Reisig Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Restivo , Christophe Reutenauer Cancellation, Pumping and Permutation in Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dorit Ron , Flavia Rosemberg , Amir Pnueli A Hardware Implementation of the CSP Primitives and its Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Arnold Schönhage Factorization of Univariate Integer Polynomials by Diophantine Aproximation and an Improved Basis Reduction Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning Robust Algorithms: A Different Approach to Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas H. Spencer , Ernst W. Mayr Node Weighted Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Robert S. Streett , E. Allen Emerson The Propositional Mu-Calculus is Elementary. [Citation Graph (0, 0)][DBLP ] Conf ] Athanasios K. Tsakalidis AVL-Trees for Localized Search. [Citation Graph (0, 0)][DBLP ] Conf ] Paul M. B. Vitányi The Simple Roots of Real-Time Computation Hierarchies (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Scott Vitter Computational Complexity of an Optical Disk Interface (Extended Abstract). [Citation Graph (1, 0)][DBLP ] Conf ] Emo Welzl Encoding Graphs by Derivations and Implications for the Theory of Graph Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Dan E. Willard Sampling Algorithms for Differential Batch Retrieval Problems (Extended Abstract). [Citation Graph (5, 0)][DBLP ] Conf ] 