The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1983, volume: 20, number:

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Walter Bucher
    Two-Symbol DOS Systems Generating Regular Languages. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:133-142 [Journal]
  8. 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]
  9. Mario Coppo
    On the Semantics of Polymorphism. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:159-170 [Journal]
  10. 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]
  11. 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]
  12. Christian Ronse
    A Three-Stage Construction for Multiconnection Networks. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:197-206 [Journal]
  13. 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]
  14. Hans-Ulrich Simon
    Pattern Matching in Trees and Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:227-248 [Journal]
  15. 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]
  16. 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]
  17. Werner Pohlmann
    LR Parsing for Affix Grammars. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:283-300 [Journal]
  18. 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]
  19. 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]
  20. Nissim Francez
    Product Properties and Their Direct Verification. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:329-344 [Journal]
  21. 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]
  22. 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]
  23. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002