External Links

    Journal: Inf. Comput.

    Volume 158, Issue 2

    71 -- 97Eytan Modiano, Anthony Ephremides. Communication Protocols for Secure Distributed Computation of Binary Functions
    98 -- 124Ulla Koppenhagen, Ernst W. Mayr. Optimal Algorithms for the Coverability, the Subword, the Containment, and the Equivalence Problems for Commutative Semigroups
    125 -- 130Hans van Maaren. A Short Note on Some Tractable Cases of the Satisfiability Problem

    Volume 158, Issue 1

    1 -- 17Petr Jancar. Decidability of Bisimilarity for One-Counter Processes
    18 -- 28Torben Hagerup. Parallel Preprocessing for Path Queries without Concurrent Reading
    29 -- 52Judy Goldsmith, Mitsunori Ogihara, Jörg Rothe. Tally NP Sets and Easy Census Functions
    53 -- 69Yair Bartal, Marek Chrobak, Lawrence L. Larmore. A Randomized Algorithm for Two Servers on the Line
    runs on