The SCEAS System
Navigation Menu

Journals in DBLP

Acta Inf.
1978, volume: 10, number:

  1. Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
    Proof Rules for the Programming Language Euclid. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:1-26 [Journal]
  2. John V. Guttag, James J. Horning
    The Algebraic Specification of Abstract Data Types. [Citation Graph (4, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:27-52 [Journal]
  3. William E. Howden
    Algebraic Program Testing. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:53-66 [Journal]
  4. Teuvo Laurinolli
    Bounded Quantification and Relations Recognizable by Finite Automata. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:67-78 [Journal]
  5. Karel Culik II
    The Ultimate Equivalence Problem for DOL Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:79-84 [Journal]
  6. Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini
    Information Management in Context Trees. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:85-94 [Journal]
  7. Jane W.-S. Liu, C. L. Liu
    Performance Analysis of Multiprocessor Systems Containing Functionally Dedicated Processors. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:95-104 [Journal]
  8. B. Bartsch, Gunter Bolch
    A Conservation Law for G/G/m Queueing Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:105-109 [Journal]
  9. Wolfgang J. Paul, Robert Endre Tarjan
    Time-Space Trade-Offs in a Pebble Game. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:111-115 [Journal]
  10. Mordechai Ben-Ari
    Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:117-125 [Journal]
  11. Viktor K. Sabelfeld
    Äquivalente Transformationen für Flußdiagramme. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:127-155 [Journal]
  12. Peter J. L. Wallis
    The Design of a Portable Programming Language. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:157-167 [Journal]
  13. Detlef Wotschke, Celia Wrathall
    A Note on Classes of Complements and the LBA Problem. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:169-173 [Journal]
  14. Reinhold Franck
    A Class of Linearly Parsable Graph Grammars. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:175-201 [Journal]
  15. Carlton J. Maxson
    Linear Regular Sets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:203-208 [Journal]
  16. Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts
    The ELL(1) Parser Generator and the Error Recovery Mechanism. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:209-228 [Journal]
  17. Eric C. R. Hehner
    On Removing the Machine from the Language. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:229-243 [Journal]
  18. Wayne A. Babich, Mehdi Jazayeri
    The Method of Attributes for Data Flow Analysis: Part I. Exhaustive Analysis. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:245-264 [Journal]
  19. Wayne A. Babich, Mehdi Jazayeri
    The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:265-272 [Journal]
  20. David M. Choy, C. K. Wong
    Optimal alpha-beta Trees with Capacity Constraint. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:273-296 [Journal]
  21. Joachim Biskup
    On the Complementation Rule for Multivalued Dependencies in Database Relations. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:297-305 [Journal]
  22. Augusto Celentano
    Incremental LR Parers. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:307-321 [Journal]
  23. Robert Meersman, Grzegorz Rozenberg
    Two-Level Meta-Controlled Substitution Grammars. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:323-339 [Journal]
  24. Lutz Eichner
    The Semigroups of Linearly Realizable Finite Automata I. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:341-367 [Journal]
  25. Lutz Eichner
    The Semigroups of Linearly Realizable Finite Automata II. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:369-390 [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