Conferences in DBLP
Ralph-Johan Back , Heikki Mannila Locality in Modular Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mordechai Ben-Ari On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , Jan Willem Klop Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus J. Berkling , Elfriede Fehr A Modification of the Lambda-Calculus as a Base for Functional Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Berman , Joseph Y. Halpern , Jerzy Tiuryn On the Power of Nondeterminism in Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bertoni , Giancarlo Mauri , Nicoletta Sabadini Equivalence and Membership Problems for Regular Trace Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Blum On the Power of Chain Rules in Context Free Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Franz-Josef Brandenburg Extended Chomsky-Schützenberger Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Cardelli Real Time Agents. [Citation Graph (0, 0)][DBLP ] Conf ] John Case , Christopher Lynes Machine Inductive Inference and Language Identification. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Comyn , Max Dauchet Approximations of Infinitary Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culik II On Test Sets and the Ehrenfeucht Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , Andreas Goerdt An Automata-Theoretic Characterization of the OI-Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] David P. Dobkin , David G. Kirkpatrick Fast Detection of Polyhedral Intersections. [Citation Graph (0, 0)][DBLP ] Conf ] Pavol Duris , Zvi Galil On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of the Pushdown Store. [Citation Graph (0, 0)][DBLP ] Conf ] Pavol Duris , Juraj Hromkovic Multihead Finite State Automata and Concatenation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Ehrenfeucht , David Haussler , Grzegorz Rozenberg Conditions Enforcing Regularity of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Ehrenfeucht , Grzegorz Rozenberg Repetitions in Homomorphisms and Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Antony A. Faustini An Operational Semantics for Pure Dataflow. [Citation Graph (0, 0)][DBLP ] Conf ] César Fernández , P. S. Thiagarajan Some Properties of D-Continuous Causal Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Flajolet , Jean-Marc Steyaert A Branching Process Arising in Dynamic Hashing, Trie Searching and Polynomial Factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Rob Gerth A Sound and Complete Hoare Axiomatization of the Ada-Rendevous. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , José Meseguer Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Gaston H. Gonnet , J. Ian Munro Heaps on Heaps. [Citation Graph (0, 0)][DBLP ] Conf ] A. Goralciková , Pavel Goralcik , Václav Koubek A Boundary of Isomorphism Completeness in the Lattice of Semigroup Pseudovarieties. [Citation Graph (0, 0)][DBLP ] Conf ] John V. Guttag , Deepak Kapur , David R. Musser Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel , Dexter Kozen A Programming Language for the Inductive Sets, and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] K. Kalorkoti A Lower Bound for the Formula Size of Rational Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Karhumäki On the Equivalence Problem for Binary DOL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dexter Kozen Results on the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Yael Krevner , Amiram Yehudai An Iteration Theorem for Simple Precedence Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Lingas The Power of Non-Rectilinear Holes. [Citation Graph (0, 0)][DBLP ] Conf ] Damian Niwinski Fixed-Point Semantics for Algebraic (Tree) Grammars (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Perrin Completing Biprefix Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Pippenger Advances in Pebbling (Preliminary Version). [Citation Graph (0, 0)][DBLP ] Conf ] Gordon D. Plotkin A Powerdomain for Countable Non-Determinism (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Raoult , Ravi Sethi Properties of a Notation for Combining Functions. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif On the Power of Probabilistic Choice in Synchronous Parallel Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Reutenauer Biprefix Codes and Semisimple Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Salwicki Algorithmic Theories of Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Sannella , Martin Wirsing Implementation of Parameterised Specifications (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Schmeck Algebraic Semantics of Recursive Flowchart Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Alan L. Selman , Yacov Yacobi The Complexity of Promise Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Sifakis Global and Local Invariants in Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Sipser On Relativization and the Existence of Complete Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Robert D. Tennent Semantics of Interference Control. [Citation Graph (0, 0)][DBLP ] Conf ] Paul M. B. Vitányi Efficient Simulations of Multicounter Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel Event Structure Semantics for CCS and Related Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Dana S. Scott Domains for Denotational Semantics. [Citation Graph (4, 0)][DBLP ] Conf ] 