Conferences in DBLP
Peter van Emde Boas The Connection between Modal Logic and Algorithmic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle , Maurice Nivat The Algebraic Semantics of Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Edsger W. Dijkstra Finding the Correctness Proof of a Concurrent Program. [Citation Graph (0, 0)][DBLP ] Conf ] Vadim E. Kotov An Algebra for Parallelism Based on Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Brian H. Mayoh Data Types as Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Synthesis of Communicating Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner , James W. Thatcher , Jesse B. Wright Programming Languages as Mathematical Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Auguston Writing and Verifying Sequential Files Updating Programs. [Citation Graph (0, 0)][DBLP ] Conf ] François Bancilhon On the Completeness of Query Languages for Relational Data Bases. [Citation Graph (11, 0)][DBLP ] Conf ] Gerhard Barth Mastering Contextsensitivity in Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra Decision Problems Concerning Parallel Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Dembinski , Jan Maluszynski Attribute Grammars and Two-Level Grammars: A Unifying Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Ehrich Extensions and Implementations of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Barry K. Rosen Concurrency of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Andrea Maggiolo-Schettini , Barry K. Rosen , Józef Winkowski Deriving Structures from Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Nissim Francez , C. A. R. Hoare , Willem P. de Roever Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Georges Gardarin Contribution to the Theory of Concurrency in Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmann J. Genrich , Kurt Lautenbach Facts in Place/Transition-Nets. [Citation Graph (2, 0)][DBLP ] Conf ] Bernhard Goetze , Werner Nehrlich Loop Programs and Classes of Primitive Recursive Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Grabowski , Antoni Kreczmar Dynamic Theories of Real and Complex Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Dima Grigoriev Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial Multiplication. [Citation Graph (0, 0)][DBLP ] Conf ] Irène Guessarian Some Applications of Algebraic Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Hogger Goal-Oriented Derivation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jacek Irlik Transforming Recursive Equations to Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Jacob Structural Invariants for Some Classes of Structured Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki Synthesis of Concurrent Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Klette Fast Matrix Multiplication by Boolean RAM in Linear Storage. [Citation Graph (0, 0)][DBLP ] Conf ] Elöd Knuth Cycles of Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lischke Complexity Measures Defined by Mazurkiewicz-Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Lukaszewicz On Functional Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] George Markowsky , Larry Carter , Mark N. Wegman Analysis of a Universal Class of Hash Functions. [Citation Graph (1, 0)][DBLP ] Conf ] Otto Mayer A Framework for Producing Deterministic Canonical Bottom-up Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Meersman , Grzegorz Rozenberg Cooperating Grammar Systems. [Citation Graph (0, 0)][DBLP ] Conf ] M. Moalla , Jacques Pulou , Joseph Sifakis Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. Nepomniaschy On Divergence and Halting Problems for Monadic Program Schemas. [Citation Graph (0, 0)][DBLP ] Conf ] Olli Nevalainen , Matti Jakobsson , R. Berg Compression of Clustered Inverted Files. [Citation Graph (0, 0)][DBLP ] Conf ] Rohit Parikh The Completeness of Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Pettorossi Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Jan Pittl On Two Subclasses of Real-Time Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew W. Ras On Information Storage and Retrieval Systems: An Algebraic Approach, Part I. [Citation Graph (0, 0)][DBLP ] Conf ] N. Saheb-Djahromi Probabilistic LCF. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Salwicki On Algorithmic Theory of Stacks. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schiffers , Horst Wedde Analyzing Program Solutions of Coordination problems by CP-Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Sifakis Structural Properties of Petri Nets. [Citation Graph (1, 0)][DBLP ] Conf ] Michel Sintzoff Ensuring Correctness by Arbitrary Postfixed-Points. [Citation Graph (0, 0)][DBLP ] Conf ] A. O. Slisenko String-Matching in Real Time: Some Properties of the Data Structure. [Citation Graph (1, 0)][DBLP ] Conf ] Nicolas Spyratos , François Bancilhon Name Independence and Database Abstraction in the Relational Model. [Citation Graph (1, 0)][DBLP ] Conf ] Peter H. Starke Free Petri Net Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Esko Ukkonen Tranformations to Produce Certain Covering Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Valk On the Computational Power of Extended Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jorma Rissanen Theory of Relations for Databases - A Tutorial Survey. [Citation Graph (27, 0)][DBLP ] Conf ] 