Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models Mauro FerrariCamillo FiorentiniGuido Fiorino OriginalPaper 10 June 2012 Pages: 129 - 149
Formalization of Bernstein Polynomials and Applications to Global Optimization César MuñozAnthony Narkawicz OriginalPaper 18 July 2012 Pages: 151 - 196
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities Serenella CerritoMarta Cialdea Mayer OriginalPaper 06 October 2012 Pages: 197 - 239