Journals in DBLP
Acta Inf. 1981, volume: 15, number:
Friedrich L. Bauer , Andrei P. Ershov , Manfred Paul , Alan J. Perlis Klaus Samelson. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:1-2 [Journal ] William E. Wright Binary Search Trees in Secondary Memory. [Citation Graph (1, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:3-17 [Journal ] Onno J. Boxma , Alan G. Konheim Approximate Analysis of Exponential Queueing Systems with Blocking. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:19-66 [Journal ] François Baccelli Analysis of a Service Facility with Periodic Checkpointing. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:67-81 [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 ] Acta Inf., 1981, v:15, n:, pp:83-98 [Journal ] Paul Walton Purdom Jr. , Cynthia A. Brown , Edward L. Robertson Backtracking with Multi-Level Dynamic Search Rearrangement. [Citation Graph (1, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:99-113 [Journal ] Paul Walton Purdom Jr. , Cynthia A. Brown Parsing Extended LR(k) Grammars. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:115-127 [Journal ] Werner Kuich The Characterization of Parallel Ultralinear Grammars by Rational Power Series. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:129-139 [Journal ] Lawrence T. Kou , George Markowsky , Leonard Berman A Fast Algorithm for Steiner Trees. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:141-145 [Journal ] Ingo Wegener An Improved Complexity Hierarchy on the Depth of Boolean Functions. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:147-152 [Journal ] F. Rodriguez Indépendance Forte de Certaines Opérations. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:153-166 [Journal ] Stefan Reisch Hex ist PSPACE-vollständig. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:167-191 [Journal ] Daniel J. Moore , Bruce Russell Axiomatic Data Type Specifications: A First Order Theory of Linear Lists. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:193-207 [Journal ] Toshiro Araki , Nobuki Tokura Flow Languages Equal Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:209-217 [Journal ] Krzysztof R. Apt Recursive Assertions and Parallel Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:219-232 [Journal ] Ralph-Johan Back Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. [Citation Graph (1, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:233-249 [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 ] Acta Inf., 1981, v:15, n:, pp:251-263 [Journal ] Rainer Kemp LR (0) Grammars Generated by LR (0) Parsers. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:265-280 [Journal ] Gary Levin , David Gries A Proof Technique for Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:281-302 [Journal ] Stal O. Anderaa , Egon Börger The Equivalence of Horn and Network Complexity for Boolean Functions. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:303-307 [Journal ] Ernst W. Mayr Persistence of Vector Replacement Systems is Decidable. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:309-318 [Journal ] Kellogg S. Booth , Richard J. Lipton Computing Extremal and Approximate Distances in Graphs Having Unit Cost Edges. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:319-328 [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 ] Acta Inf., 1981, v:15, n:, pp:329-346 [Journal ] Donald L. Iglehart , Gerald S. Shedler Regenerative Simulation of Response Times in Networks of Queues: Statistical Efficiency. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:347-363 [Journal ] Robert Cartwright , Derek C. Oppen The Logic of Aliasing. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:365-384 [Journal ] Arie de Bruin Goto Statements: Semantics and Deduction Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:385-424 [Journal ] Harald Würgers A Specification Technique Based on Predicate Transformers. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:425-445 [Journal ] Takehiro Tokuda Eliminating Unit Reductions from LR(k) Parsers Using Minimum Contexts. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:447-470 [Journal ] Marco A. Casanova , Philip A. Bernstein General Purpose Schedulers for Database System. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1981, v:15, n:, pp:471- [Journal ]