Journals in DBLP

J. Comput. Syst. Sci.
1972, volume: 6, number: 6

1. Robert L. Constable, Steven S. Muchnick
   Subrecursive Program Schemata I & II: I. Undecidable Equivalence problems; II. Decidable Equivalence Problems. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:480-537 [Journal]
   
2. David S. Wise
   Generalized Overlap Resolvable Grammars and Their Parsers. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:538-572 [Journal]
   
3. Alfred V. Aho, Jeffrey D. Ullman
   Optimization of LR(k) Parsers. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:573-602 [Journal]
   
4. Michael Machtey
   Augmented Loop Languages and Classes of Computables Functions. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:603-624 [Journal]
   
5. J. Ian Munro, Allan Borodin
   Efficient Evaluation of Polynomial Forms. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:625-638 [Journal]
   
6. Michael O. Rabin
   Proving Simultaneous Positivity of Linear Forms. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1972, v:6, n:6, pp:639-650 [Journal]