Journals in DBLP
Acta Inf. Friedrich L. Bauer , Andrei P. Ershov , Manfred Paul , Alan J. Perlis Klaus Samelson. [Citation Graph (0, 0)][DBLP ] Journal ] William E. Wright Binary Search Trees in Secondary Memory. [Citation Graph (1, 0)][DBLP ] Journal ] Onno J. Boxma , Alan G. Konheim Approximate Analysis of Exponential Queueing Systems with Blocking. [Citation Graph (0, 0)][DBLP ] Journal ] François Baccelli Analysis of a Service Facility with Periodic Checkpointing. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel M. Berry Remarks on R. D. Tennent's Language Design Methods Based on Semantic Principles: Algol 68, A Language Designed Using Semantic Principles. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Walton Purdom Jr. , Cynthia A. Brown , Edward L. Robertson Backtracking with Multi-Level Dynamic Search Rearrangement. [Citation Graph (1, 0)][DBLP ] Journal ] Paul Walton Purdom Jr. , Cynthia A. Brown Parsing Extended LR(k) Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Werner Kuich The Characterization of Parallel Ultralinear Grammars by Rational Power Series. [Citation Graph (0, 0)][DBLP ] Journal ] Lawrence T. Kou , George Markowsky , Leonard Berman A Fast Algorithm for Steiner Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Ingo Wegener An Improved Complexity Hierarchy on the Depth of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Journal ] F. Rodriguez Indépendance Forte de Certaines Opérations. [Citation Graph (0, 0)][DBLP ] Journal ] Stefan Reisch Hex ist PSPACE-vollständig. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel J. Moore , Bruce Russell Axiomatic Data Type Specifications: A First Order Theory of Linear Lists. [Citation Graph (0, 0)][DBLP ] Journal ] Toshiro Araki , Nobuki Tokura Flow Languages Equal Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Krzysztof R. Apt Recursive Assertions and Parallel Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Ralph-Johan Back Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. [Citation Graph (1, 0)][DBLP ] Journal ] Hans Daduna , Rolf Schassberger A Discrete-Time Round-Robin Queue with Bernoulli Input and General Arithmetic Service Time Distributions. [Citation Graph (0, 0)][DBLP ] Journal ] Rainer Kemp LR (0) Grammars Generated by LR (0) Parsers.Citation Graph (0, 0)][DBLP ] Journal ] Gary Levin , David Gries A Proof Technique for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP ] Journal ] Stal O. Anderaa , Egon Börger The Equivalence of Horn and Network Complexity for Boolean Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Ernst W. Mayr Persistence of Vector Replacement Systems is Decidable. [Citation Graph (0, 0)][DBLP ] Journal ] Kellogg S. Booth , Richard J. Lipton Computing Extremal and Approximate Distances in Graphs Having Unit Cost Edges. [Citation Graph (0, 0)][DBLP ] Journal ] Witold Lipski Jr. , Franco P. Preparata Efficient Algorithms for Finding Maximum Matchings in Convex Bipartite Graphs and Related Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Donald L. Iglehart , Gerald S. Shedler Regenerative Simulation of Response Times in Networks of Queues: Statistical Efficiency. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Cartwright , Derek C. Oppen The Logic of Aliasing. [Citation Graph (0, 0)][DBLP ] Journal ] Arie de Bruin Goto Statements: Semantics and Deduction Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Harald Würgers A Specification Technique Based on Predicate Transformers. [Citation Graph (0, 0)][DBLP ] Journal ] Takehiro Tokuda Eliminating Unit Reductions from LR(k) Parsers Using Minimum Contexts. [Citation Graph (0, 0)][DBLP ] Journal ] Marco A. Casanova , Philip A. Bernstein General Purpose Schedulers for Database System. [Citation Graph (0, 0)][DBLP ] Journal ] 