External Links

    Journal: Inf. Sci.

    Volume 1, Issue 2

    119 -- 130Azriel Levy. The effectivity of existential statements in axiomatic set theory
    131 -- 142Atwell R. Turquette. Dualizable quasi-strokes for M-state automata
    143 -- 172L. E. Zachrisson. On optimal smoothing of continuous time Kalman processes
    173 -- 184Juris Hartmanis, Richard Edwin Stearns. Automata-based computational complexity
    185 -- 187Lawrence Schwartz, Edwin B. Stear. Computational validity of approximate nonlinear minimal-variance filters
    189 -- 204Robert W. Ritchie, Paul R. Young. Strong representability of partial functions in arithmetic theories
    205 -- 215Philip K. Hooper. Some small, multitape universal Turing machines
    217 -- 220Elliott Mendelson. A note on the Axioms of Restriction and Fundierung
    runs on