External Links

    Journal: J. Comput. Syst. Sci.

    Volume 3, Issue 2

    119 -- 127Zohar Manna. The Correctness of Programs
    128 -- 146Arthur R. Butz. Convergence with Hilbert s Space Filling Curve
    147 -- 195Richard M. Karp, Raymond E. Miller. Parallel Program Schemata
    196 -- 217Sheila A. Greibach. Checking Automata and One-Way Stack Languages
    218 -- 220J. E. Dennis, Allen A. Goldstein. Cubature and Tchakaloff Cone
    221 -- 231Ryuichi Ito. Every Semilinear Set is a Finite Union of Disjoint Linear Sets
    runs on