External Links

    Journal: Logical Methods in Computer Science

    Volume 2, Issue 4

    0 -- 0Le-Chi Tuan, Chitta Baral, Tran Cao Son. A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
    0 -- 0Jeremy Avigad, Harvey Friedman. Combining decision procedures for the reals
    0 -- 0Víctor Dalmau. Generalized Majority-Minority Operations are Tractable
    0 -- 0Erich Grädel, Igor Walukiewicz. Positional Determinacy of Games with Infinitely Many Priorities
    0 -- 0François Lamarche, Lutz Straßburger. From Proof Nets to the Free *-Autonomous Category
    0 -- 0Benedetto Intrigila, Richard Statman. Solution of a Problem of Barendregt on Sensible lambda-Theories
    runs on