FERRARI, MAURO
FERRARI, MAURO
DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.0 secondi).
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic
2024 C. Fiorentini, M. Ferrari
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property
2024 C. Fiorentini, M. Ferrari
SAT-Based Proof Search in Intermediate Propositional Logics
2022 C. Fiorentini, M. Ferrari
A forward internal calculus for model generation in S4
2021 C. Fiorentini, M. Ferrari
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
2020 C. Fiorentini, M. Ferrari
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic
2020 C. Fiorentini, M. Ferrari
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms
2020 C. Fiorentini, M. Ferrari
Dai fondamenti agli oggetti : corso di programmazione Java
2015 G. Pighizzini, M. Ferrari
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione
2005 G. Pighizzini, M. Ferrari
On Uniformly Constructive and Semiconstructive Formal Systems
2003 M. Ferrari, M. Pierangelo, M. Ornaghi