Journals in DBLP
Acta Inf. 1983, volume: 20, number:
Martin Wirsing , Peter Pepper , Helmuth Partsch , Walter Dosch On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:1-33 [Journal ] Jifeng He General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:35-57 [Journal ] Werner Damm , Bernhard Josko A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:59-101 [Journal ] Ashok K. Chandra , Lawrence T. Kou , George Markowsky , Shmuel Zaks On Sets of Boolean n -Projections Surjective. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:103-111 [Journal ] Hisao Kameda A Note on Multi-queue Scheduling of Two Tasks. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:113-120 [Journal ] Herman Akdag Performances of an Algorithm Constructing a Nearly Optimal Binary Tree. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:121-132 [Journal ] Walter Bucher Two-Symbol DOS Systems Generating Regular Languages. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:133-142 [Journal ] Heikki Mannila , Kari-Jouko Räihä On the Relationship of Minimum and Optimum Covers for a Set of Functional Dependencies. [Citation Graph (3, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:143-158 [Journal ] Mario Coppo On the Semantics of Polymorphism. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:159-170 [Journal ] Nathan Goodman , Oded Shmueli NP-complete Problems Simplified on Tree Schemas. [Citation Graph (1, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:171-178 [Journal ] Jean-Jacques Pansiot Hiérarchie et fermeture de certaines classes de tag-systèmes. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:179-196 [Journal ] Christian Ronse A Three-Stage Construction for Multiconnection Networks. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:197-206 [Journal ] Mordechai Ben-Ari , Amir Pnueli , Zohar Manna The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:207-226 [Journal ] Hans-Ulrich Simon Pattern Matching in Trees and Nets. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:227-248 [Journal ] G. Marque-Pucheu Rational Set of Trees and the Algebraic Semantics of Logic Programming. [Citation Graph (1, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:249-260 [Journal ] Joseph A. Bannister , Kishor S. Trivedi Task Allocation in Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:261-281 [Journal ] Werner Pohlmann LR Parsing for Affix Grammars. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:283-300 [Journal ] Alain J. Martin A General Proof Rule for Procedures in Predicate Transformer Semantics. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:301-313 [Journal ] Ali Mili A Relational Approach to the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:315-328 [Journal ] Nissim Francez Product Properties and Their Direct Verification. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:329-344 [Journal ] Philippe Flajolet On the Performance Evaluation of Extendible Hashing and Trie Searching. [Citation Graph (9, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:345-369 [Journal ] Aviezri S. Fraenkel , Moshe Mor , Yehoshua Perl Is Text Compression by Prefixes and Suffixes Practical? [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:371-389 [Journal ] H. C. M. Kleijn , Grzegorz Rozenberg On the Generative Power of Regular Pattern Grammars. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1983, v:20, n:, pp:391-411 [Journal ]