External Links

    Journal: J. Comput. Syst. Sci.

    Volume 32, Issue 2

    156 -- 182Bernard Chazelle. Reporting and Counting Segment Intersections
    183 -- 221Moshe Y. Vardi, Pierre Wolper. Automata-Theoretic Techniques for Modal Logics of Programs
    222 -- 229Ravi B. Boppana. Threshold Functions and Bounded Depth Monotone Circuits
    230 -- 250Danny Dolev, Joseph Y. Halpern, H. Raymond Strong. On the Possibility and Impossibility of Achieving Clock Synchronization
    251 -- 264Michael Ben-Or, Dexter Kozen, John H. Reif. The Complexity of Elementary Algebra and Geometry
    runs on