External Links

    Journal: SIGACT News

    Volume 6, Issue 4

    19 -- 20Jan van Leeuwen. A forgotten connection between tag-systems and parallel-rewriting
    21 -- 23Giorgio Germano, Andrea Maggiolo-Schettini. Loops in Algol 60 and in category theory
    24 -- 31David R. Cheriton. An extension to on-line multiplication lower bound results
    32 -- 0Robert L. Constable, David Park. Special issue on semantics and program schemas SIAM journal on computing

    Volume 6, Issue 3

    5 -- 0. A recent technical report
    15 -- 22Stephen A. Cook, Robert A. Reckhow. Corrections for "On the lengths of proofs in the propositional calculus preliminary version"
    22 -- 0S. Rao Kosaraju. Correction to "Regularity preserving functions"
    23 -- 32Carl H. Smith, Jan van Leeuwen. Microprogrammed random access stored program machines
    33 -- 34. Recent technical reports

    Volume 6, Issue 2

    15 -- 16Donald E. Knuth. Postscript about NP-hard problems
    16 -- 17S. Rao Kosaraju. Regularity preserving functions
    18 -- 23Ivan M. Havel. Automata theory motivated by problem solving
    23 -- 26Victor L. Bennison. Saving tapes in the simulation of multihead turing machines
    57 -- 60. Recent technical reports

    Volume 6, Issue 1

    12 -- 18Donald E. Knuth. A terminological proposal
    19 -- 24Zvi Galil. On some direct encodings of nondeterministic Turing machines operating in polynomial time into p-complete problems
    25 -- 29Joel I. Seiferas. A note on prefixes of regular languages
    30 -- 31Richard J. Lipton, Lawrence Snyder. On the Aanderaa-Rosenberg Conjecture
    32 -- 35Peter Wegner. Modification of Aho and Ullman's correctness proof of Warshall's algorithm
    35 -- 0. Technical reports
    runs on