External Links

    Journal: Annals of Pure and Applied Logic

    Volume 151, Issue 2-3

    69 -- 0Guy McCusker, Dan R. Ghica. Foreword for special issue of APAL for GaLoP 2005
    70 -- 88Chrysida Galanaki, Panos Rondogiannis, William W. Wadge. An infinite-game semantics for well-founded negation in logic programming
    89 -- 114Dan R. Ghica, Andrzej S. Murawski. Angelic semantics of fine-grained concurrency
    115 -- 150Joachim De Lataillade. Second-order type isomorphisms through game semantics
    151 -- 169James Laird. A game semantics of names and pointers
    170 -- 198Paul Blain Levy. Infinite trace equivalence

    Volume 151, Issue 1

    1 -- 21Clifton Ealy, Krzysztof Krupinski, Anand Pillay. Superrosy dependent groups having finitely satisfiable generics
    22 -- 61Yijia Chen, Jörg Flum. The parameterized complexity of maximality and minimality problems
    62 -- 67Christopher von Bülow. A remark on equivalent Rosser sentences
    runs on