Conferences in DBLP
Samson Abramsky On Semantic Foundations for Applicative Multiprogramming. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof R. Apt , Carole Delporte An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] André Arnold Topological Characterizations of Infinite Behaviours of Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker , Jan A. Bergstra , Jan Willem Klop , John-Jules Ch. Meyer Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker , Jeffery I. Zucker Processes and a Fair Semantics for the Ada Rendez-Vous. [Citation Graph (0, 0)][DBLP ] Conf ] Paul De Bra , Jan Paredaens Conditional Dependencies for Horizontal Decompositions. [Citation Graph (3, 0)][DBLP ] Conf ] Stephen D. Brookes On the Relationship of CCS and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen D. Brookes , William C. Rounds Behavioural Equivalence Relations Induced by Programming Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ashok K. Chandra , Steven Fortune , Richard J. Lipton Lower Bounds for Constant Depth Circuits for Prefix Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Choffrut , Juhani Karhumäki Test Sets for Morphisms with Bounded Delay. [Citation Graph (0, 0)][DBLP ] Conf ] Shimon Cohen , Daniel J. Lehmann , Amir Pnueli Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Karel Culik II , Arto Salomaa Ambiguity and Decision Problems Concerning Number Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Darondeau , Laurent Kott On the Observational Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP ] Conf ] Frank K. H. A. Dehne On O(N^4) Algorithm to Contstruct all Vornoi Diagrams for K Nearest Neighbor Searching. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Pierre Delest , Gérard Viennot Algebraic Languages and Polyominoes Enumeration. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Edelsbrunner , Emo Welzl On the Number of Equal-Sized Semisapces of a Set of Points in the Plane (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Eric G. Wagner , James W. Thatcher Algebraic Specifications with Generating Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Aviezri S. Fraenkel Wythoff Games, Continued Fractions, Cedar Trees and Fibonacci Searches. [Citation Graph (0, 0)][DBLP ] Conf ] Joaquim Gabarró Initial Index: A New Complexity Function for Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Ganzinger Modular Compiler Descriptions Based on Abstract Semantic Data Types (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joachim von zur Gathen , Erich Kaltofen Polynomial-Time Factorization of Multivariate Polynomials over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Goltz , Wolfgang Reisig Processes of Place/Transition-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Zohar Manna , Ben C. Moszkowski A Hardware Semantics Based on Temporal Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Susanne E. Hambrusch , Janos Simon Lower Bounds for Solving Undirected Graph Problems on VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Sergiu Hart , Micha Sharir Concurrent Probabilistic Program, or: How to Schedule if You Must. [Citation Graph (0, 0)][DBLP ] Conf ] Juris Hartmanis , Yaacov Yesha Computation Times of NP Sets of Different Densities. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Nachum Dershowitz Rewrite Methods for Clausal and Non-Clausal Theorem Proving. [Citation Graph (1, 0)][DBLP ] Conf ] Klaus Indermark Complexity of Infinite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Claude Kirchner , Hélène Kirchner Incremental Construction of Unification Algorithms in Equational Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Kamimura Tree Automata and Attribute Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Tsutomu Kamimura , Adrian Tang Effectively Given Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Juhani Karhumäki A Note on Intersections of Free Submonoids of a Free Monoid. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Werner Lang , Manfred Schimmler , Hartmut Schmeck , Heiko Schröder A Fast Sorting Algorithm for VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Latteux , Jeannine Leguy On the Composition of Morphisms and Inverse Morphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Evelyne Barbin-Le Rest , Stuart W. Margolis On the Group Complexity of a Finite Language. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann , Saharon Shelah Reasoning with Time and Chance (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Arjen K. Lenstra Factoring Multivariate Integral Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne , Jean-Marc Steyaert On the Study Data Structures: Binary Tournaments with Repeated Keys. [Citation Graph (0, 0)][DBLP ] Conf ] Fillia Makedon , Ivan Hal Sudborough Minimizing Width in Linear Layouts. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Amir Pnueli Proving Precedence Properties: The Temporal Way. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Möller An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. [Citation Graph (0, 0)][DBLP ] Conf ] J. Ian Munro , Patricio V. Poblete Searchability in Merging and Implicit Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Mycroft , Flemming Nielson Strong Abstract Interpretation Using Power Domains (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola , Matthew Hennessy Testing Equivalence for Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Rüdiger Olderog , C. A. R. Hoare Specification-Oriented Semantics for Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Pekka Orponen Complexity Classes of Alternating Machines with Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Jacques Pansiot A Propos d'une Conjecture de F. Dejean sur les Répétitions dans les Mots. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang J. Paul , Uzi Vishkin , Hubert Wagener Parallel Dictionaries in 2-3 Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Perrin Varietes de Semigroupes et Mots Infinis. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Eric Pin Arbres et Hierarchies de Concatenation. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Reif , A. Prasad Sistla A Multiprocess Network Logic with Temporal and Spatial Modalities. [Citation Graph (0, 0)][DBLP ] Conf ] Taisuke Sato , Hisao Tamaki Enumeration of Success Patterns in Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Schöning , Ronald V. Book Immunity (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Smyth Power Domains and Predicate Transformers: A Topological View. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Spinrad , Jacobo Valdes Recognition and Isomorphism of Two Dimensional Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Paul M. B. Vitányi On the Simulation of Many Storage Heads by a Single One (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Glynn Winskel Synchronisation Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Mihalis Yannakakis , Paris C. Kanellakis , Stavros S. Cosmadakis , Christos H. Papadimitriou Cutting and Partitioning a Graph aifter a Fixed Pattern (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Jörn Lange Context-Free Controlled ETOL Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 