External Links

    Journal: Annals of Pure and Applied Logic

    Volume 69, Issue 2-3

    133 -- 0Andre Scedrov. Preface - Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science
    135 -- 155Gilles Dowek. Third Order Matching is Decidable
    157 -- 193Joseph Y. Halpern, Bruce M. Kapron. Zero-One Laws for Modal Logic
    195 -- 241Max I. Kanovich. The Complexity of Horn Fragments of Linear Logic
    243 -- 268Nils Klarlund. Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata
    269 -- 301Hiroshi Nakano. A Constructive Logic Behind the Catch and Throw Mechanism

    Volume 69, Issue 1

    1 -- 25Joan Bagaria. Fragments of Martin s axiom and Delta:::1:::::3:: Sets of Reals
    27 -- 51Steven Givant, Saharon Shelah. Universal Theories Categorical in Power and kappa-Generated Models
    53 -- 71Bradd Hart, Sergei Starchenko. Superstable Quasi-Varieties
    73 -- 106Bart Jacobs. Semantics of Weakening and Contraction
    107 -- 131Renling Jin, Saharon Shelah. Essential Kurepa Trees versus Essential Jech-Kunen Trees
    runs on