External Links

    Journal: Journal of Logic and Computation

    Volume 24, Issue 5

    989 -- 1022Joan Chen-Main, Aravind K. Joshi. A dependency perspective on the adequacy of tree local multi-component tree adjoining grammar
    1023 -- 1069Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus. Approximate reasoning about logic circuits with single-fan-out unreliable gates
    1071 -- 1110Ian M. Hodkinson. On the Priorean temporal logic with 'around now' over the real line
    1111 -- 1139Nicolas Peltier. Tractable and intractable classes of propositional schemata
    runs on