External Links

    Journal: Inf. Comput.

    Volume 140, Issue 2

    95 -- 114Mads Dam. Proving Properties of Dynamic Process Networks
    115 -- 157Ron van der Meyden. Common Knowledge and Update in Finite Environments
    158 -- 182Steven H. Low, Nicholas F. Maxemchuk. A Collusion Problem and Its Solution
    183 -- 202Amotz Bar-Noy, Mihir Bellare, Magnús M. Halldórsson, Hadas Shachnai, Tami Tamir. On Chromatic Sums and Distributed Resource Allocation
    203 -- 228Aaron Feigelson, Lisa Hellerstein. Conjunctions of Unate DNF Formulas: Learning and Structure
    229 -- 253Anne Brüggemann-Klein, Derick Wood. One-Unambiguous Regular Languages
    254 -- 283Endre Boros, Toshihide Ibaraki, Kazuhisa Makino. Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions

    Volume 140, Issue 1

    2 -- 25Douglas A. Cenzer, Jeffrey B. Remmel. Complexity and Categoricity
    26 -- 81Erich Grädel, Yuri Gurevich. Metafinite Model Theory
    82 -- 94Jan Krajícek, Pavel Pudlák. Some Consequences of Cryptographical Conjectures for S:::1:::::2:: and EF
    runs on