Journals in DBLP

J. Comput. Syst. Sci.
1979, volume: 19, number: 1

1. C. Pair, M. Amirchahy, D. Neel
   Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:1-17 [Journal]
   
2. Carlton J. Maxson, Kirby C. Smith
   Automorphisms of Linear Automata. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:18-26 [Journal]
   
3. Mitchell Wand
   Final Algebra Semantics and Data Type Extensions. [Citation Graph (1, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:27-44 [Journal]
   
4. Meera Blattner, Tom Head
   The Decidability of Equivalence for Deterministic Finite Transducers. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:45-49 [Journal]
   
5. David B. Benson
   Parameter Passing in Nondeterministic Recursive Programs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:50-62 [Journal]
   
6. Michael A. Harrison, Amiram Yehudai
   A Hierarchy of Deterministic Languages. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:63-78 [Journal]
   
7. Emily P. Friedman, Sheila A. Greibach
   Superdeterministic DPDAS: The Method for Accepting Does Affect Decision Problems. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1979, v:19, n:1, pp:79-117 [Journal]