IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

FERRARI, MAURO

FERRARI, MAURO  

DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE (attivo dal 01/01/1986 al 26/04/2012)  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Gödel Modal Logic over Witnessed Crisp Models 2025 Ferrari, MauroFiorentini, Camillo + Book Part (author) -
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic 2024 Fiorentini, CamilloFerrari, Mauro Article (author) -
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 2024 Fiorentini, CamilloFerrari, Mauro Book Part (author) -
SAT-Based Proof Search in Intermediate Propositional Logics 2022 Camillo FiorentiniMauro Ferrari Book Part (author) -
A forward internal calculus for model generation in S4 2021 Fiorentini, CamilloFerrari, Mauro Article (author) -
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 2020 C. FiorentiniM. Ferrari Book Part (author) -
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 2020 C. FiorentiniM. Ferrari Book Part (author) -
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 2020 Fiorentini, CamilloFerrari, Mauro Article (author) -
Dai fondamenti agli oggetti : corso di programmazione Java 2015 G. PighizziniM. Ferrari Book (author) -
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione 2005 Giovanni PighizziniMauro Ferrari Book (author) -
On Uniformly Constructive and Semiconstructive Formal Systems 2003 FERRARI, MAUROMario Ornaghi + Article (author) -