External Links

    Journal: Journal of Logic and Computation

    Volume 7, Issue 3

    309 -- 351Robin Hirsch. Expressive Power and Complexity in Algebraic Logic
    353 -- 366Nadia Creignou, Malika More. Complexity of Satisfiability Problems with Symmetric Polynomial Clauses
    367 -- 403Alberto Momigliano, Mario Ornaghi. Regular Search Spaces and Constructive Negation
    405 -- 425Henrik Imhof. Fixed-Point Logics, Generalized Quantifiers, and Oracles
    runs on