External Links

    Journal: Journal of Automated Reasoning

    Volume 51, Issue 2

    129 -- 149Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models
    151 -- 196César A. Muñoz, Anthony Narkawicz. Formalization of Bernstein Polynomials and Applications to Global Optimization
    197 -- 239Serenella Cerrito, Marta Cialdea Mayer. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities
    runs on