External Links

    Journal: J. Comput. Syst. Sci.

    Volume 3, Issue 4

    335 -- 360Michael D. Grigoriadis, Klaus Ritter. A Decomposition Method for Structured Linear and Nonlinear Programs
    361 -- 386Donald M. Kaplan. Regular Expressions and the Equivalence of Programs
    387 -- 408Alfred H. Morris Jr.. Elementary Indefinite Integration Theory for the Computer
    409 -- 422Masaharu Mizumoto, Jun ichi Toyoda, Kokichi Tanaka. Some Considerations on Fuzzy Automata
    423 -- 446Robert M. Baer, Edwin H. Spanier. Referenced Automata and Metaregular Families
    447 -- 455John Cleave. The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of Their Solutions
    456 -- 461Ben Wegbreit. A Generator of Contex-Sensitive Languages

    Volume 3, Issue 3

    233 -- 247Sheila A. Greibach, John E. Hopcroft. Scattered Context Grammars
    248 -- 275Edward K. Blum. Towards a Theory of Semantics and Compilers for Programming Languages
    319 -- 334Alfred V. Aho, Jeffrey D. Ullman. Properties of Syntax Directed Translations

    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

    Volume 3, Issue 1

    1 -- 7A. Pasquali. On the Convergence of Nonlinear Simulaneous Displacements
    8 -- 23Melvin A. Breuer. Combinatorial Equivalence of (0, 1) Circulant Matrices
    24 -- 36Y. Yavin. Optimal Control for a Class of Distributed Parameter Systems Where the Cost Functions are Norms
    37 -- 56Alfred V. Aho, Jeffrey D. Ullman. Syntax Directed Translations and the Pushdown Assembler
    57 -- 92Lucien W. Neustadt. A General Theory of Extremals
    93 -- 118D. R. Deuel. Time-Varying Linear Sequential Machines I
    runs on