Journals in DBLP
Acta Inf. Bruce Russell Correctness of the Compiling Process Based on Axiomatic Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Leslie Lamport The `Hoare Logic' of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Brigitte Plateau Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie. [Citation Graph (0, 0)][DBLP ] Journal ] Carla Schlatter Ellis Concurrent Search and Insertion in 2-3 Trees. [Citation Graph (23, 0)][DBLP ] Journal ] Reiner Philipp , Ernst-Jürgen Prauß Über Separatoren in planaren Graphen. [Citation Graph (0, 0)][DBLP ] Journal ] Allan G. Bromley Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation. [Citation Graph (1, 0)][DBLP ] Journal ] Vijay K. Vaishnavi , Hans-Peter Kriegel , Derick Wood Optimum Multiway Search Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Reiji Nakajima , Michio Honda , Hayao Nakahara Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. [Citation Graph (1, 0)][DBLP ] Journal ] Eljas Soisalon-Soininen On the Space Optimizing Effect of Eliminating Single Productions from LR Parsers. [Citation Graph (0, 0)][DBLP ] Journal ] Lutz Michael Wegner On Parsing Two-Level Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Marco A. Casanova , Philip A. Bernstein General Purpose Schedulers for Database Systems. [Citation Graph (8, 0)][DBLP ] Journal ] Zvi Galil An O(V5/3 E2/3) Algorithm for the Maximal Flow Problem. [Citation Graph (0, 0)][DBLP ] Journal ] Wolfgang J. Paul , Ernst J. Prauß , Rüdiger Reischuk On Alternation. [Citation Graph (0, 0)][DBLP ] Journal ] Beate Commentz-Walter , Jürgen Sattler Size-depht Tradeoff in Non-monotone Boolean Formulae. [Citation Graph (0, 0)][DBLP ] Journal ] Anton Nijholt A Survey of Normal Form Covers for Context Free Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Rainer Kemp A Note on the Density of Inherently Ambiguous Context-free Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Walton Purdom Jr. , Cynthia A. Brown Semantic Routines and LR(k) Parsers. [Citation Graph (0, 0)][DBLP ] Journal ] Karl-Rudolf Moll Left Context Precedence Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Mitchell Wand First-Order Identities as a Defining Language. [Citation Graph (0, 0)][DBLP ] Journal ] Hirokazu Nishimura Descriptively Complete Process Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Fred Kröger Infinite Proof Rules for Loops. [Citation Graph (0, 0)][DBLP ] Journal ] Wolfgang J. Paul , Rüdiger Reischuk On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. [Citation Graph (0, 0)][DBLP ] Journal ] 