External Links

    Journal: SIGACT News

    Volume 25, Issue 2

    11 -- 24Yuri Gurevich. Logic activities in Europe
    26 -- 27Frank Vlach. Book Review: The Deductive Foundations of Computer Programming. By Zohar Manna and Richard Waldinger. (Addison-Wesley, 1993. xiv+717pp. ISBN 0-201-54886-0. 46.25)
    83 -- 85Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith. How hard are n2-hard problems?
    86 -- 89Rajeev Raman. A simpler analysis of algorithm 65 (find)
    90 -- 91Antônio Carlos da Rocha Costa, Vanderlei Moraes Rodrigues. Inspecting continuations
    runs on