FIORENTINI, CAMILLO
FIORENTINI, CAMILLO
Dipartimento di Informatica Giovanni Degli Antoni
A constructive approach to testing model transformations
2010 C. Fiorentini, A. Momigliano, M. Ornaghi, I. Poernomo
A constructive object oriented modeling language for information systems
2006 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
A constructive semantics for ALC
2007 L. Bozzato, M. Ferrari, C. Fiorentini, G. Fiorino
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
1999 C. Fiorentini, P. Miglioli
A decidable constructive description logic
2010 L. Bozzato, M. Ferrari, C. Fiorentini, G. Fiorino.
A formal framework for synthesis and verification of logic programs
2001 A. Avellone, M. Ferrari, C. Fiorentini
A forward internal calculus for model generation in S4
2021 C. Fiorentini, M. Ferrari
A Forward Unprovability Calculus for Intuitionistic Propositional Logic
2017 C. Fiorentini, M. Ferrari
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms
2020 C. Fiorentini, M. Ferrari
A New Approach to Clausification for Intuitionistic Propositional Logic
2023 C. Fiorentini, M. Ferrari
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic
2019 C. Fiorentini, R. Goré, S. Graham-Lengrand
A proof-theoretical analysis of semiconstructive intermediate theories
2003 M. Ferrari, C. Fiorentini
A secondary semantics for second order intuitionistic propositional logic
2004 M. Ferrari, C. Fiorentini, G. Fiorino
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
2015 A. Avellone, C. Fiorentini, A. Momigliano
A space efficient implementation of a tableau calculus for a logic with a constructive negation
2004 A. Avellone, C. Fiorentini, G. Fiorino, U. Moscato
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications
2009 M. Ferrari, C. Fiorentini, G. Fiorino
A terminating evaluation-driven variant of G3i
2013 M. Ferrari, C. Fiorentini, G. Fiorino
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete
2000 C. Fiorentini
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic
2019 C. Fiorentini
An evaluation-driven decision procedure for G3i
2015 M. Ferrari, C. Fiorentini, G. Fiorino