Journals in DBLP

J. Comput. Syst. Sci.
1969, volume: 3, number: 2

1. Zohar Manna
   The Correctness of Programs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:119-127 [Journal]
   
2. Arthur R. Butz
   Convergence with Hilbert's Space Filling Curve. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:128-146 [Journal]
   
3. Richard M. Karp, Raymond E. Miller
   Parallel Program Schemata. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:147-195 [Journal]
   
4. Sheila A. Greibach
   Checking Automata and One-Way Stack Languages. [Citation Graph (1, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:196-217 [Journal]
   
5. J. E. Dennis, Allen A. Goldstein
   Cubature and Tchakaloff Cone. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:218-220 [Journal]
   
6. Ryuichi Ito
   Every Semilinear Set is a Finite Union of Disjoint Linear Sets. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1969, v:3, n:2, pp:221-231 [Journal]