External Links

    Journal: SIGACT News

    Volume 36, Issue 1

    12 -- 14William I. Gasarch. Review of Proofs that Really Count: The Art of Combinatorial Proof by Arthur T. Benjamin and Jennifer J. Quinn ; MAA, 2003
    15 -- 20Mats Kindahl. Review of Types and Programming Languages by Benjamin C. Pierce ; The MIT Press, 2002
    21 -- 24Lawrence S. Moss. Joint review of Introduction To Natural Computation by Dana H. Ballard ; MIT Press, 1997, ISBN 0-262-52258-6 and Mathematical Methods in Artificial Intelligence by Edward A. Bender , IEEE Press, 1996 ISBN 0-8186-7200-5
    30 -- 52Scott Aaronson. Guest Column: NP-complete problems and physical reality
    71 -- 85Wojciech Jawor. Three dozen papers on online algorithms
    86 -- 99Riccardo Pucella. The finite and the infinite in temporal logic
    122 -- 131Dror G. Feitelson, Ahuva Mu alem. On the definition of on-line in job scheduling problems
    132 -- 138Antti Ylikoski. The halting problem on finite and infinite computers
    runs on