FIORENTINI, CAMILLO

FIORENTINI, CAMILLO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A constructive approach to testing model transformations 1-gen-2010 C. FiorentiniA. MomiglianoM. Ornaghi + Book Part (author) -
A constructive object oriented modeling language for information systems 1-mar-2006 M. OrnaghiC. FiorentiniA. Momigliano + Article (author) -
A constructive semantics for ALC 1-gen-2007 C. Fiorentini + Book Part (author) -
A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications 1-gen-1999 C. Fiorentini + Article (author) -
A decidable constructive description logic 1-gen-2010 C. Fiorentini + Book Part (author) -
A formal framework for synthesis and verification of logic programs 1-gen-2001 C. Fiorentini + Book Part (author) -
A forward internal calculus for model generation in S4 1-gen-2021 Fiorentini, CamilloFerrari, Mauro Article (author) -
A Forward Unprovability Calculus for Intuitionistic Propositional Logic 1-set-2017 C. Fiorentini + Book Part (author) -
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 1-gen-2020 C. FiorentiniM. Ferrari Book Part (author) -
A New Approach to Clausification for Intuitionistic Propositional Logic 30-giu-2023 C. Fiorentini + Book Part (author) -
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic 1-ago-2019 Fiorentini, Camillo + Book Part (author) -
A proof-theoretical analysis of semiconstructive intermediate theories 1-gen-2003 C. Fiorentini + Article (author) -
A secondary semantics for second order intuitionistic propositional logic 1-gen-2004 C. Fiorentini + Article (author) -
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic 14-set-2015 C. FiorentiniA. Momigliano + Article (author) -
A space efficient implementation of a tableau calculus for a logic with a constructive negation 1-gen-2004 C. Fiorentini + Book Part (author) -
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications 1-gen-2009 C. Fiorentini + Article (author) -
A terminating evaluation-driven variant of G3i 1-gen-2013 C. Fiorentini + Book Part (author) -
All intermediate logics with extra axioms in one variable, except eight, are not strongly omega-complete 1-gen-2000 C. Fiorentini Article (author) -
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic 1-gen-2019 Fiorentini, Camillo Book Part (author) -
An evaluation-driven decision procedure for G3i 1-mar-2015 C. Fiorentini + Article (author) -