IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autori Tipo File Abstract
On Uniformly Constructive and Semiconstructive Formal Systems 2003 FERRARI, MAUROMario Ornaghi + Article (author) -
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione 2005 Giovanni PighizziniMauro Ferrari Book (author) -
Dai fondamenti agli oggetti : corso di programmazione Java 2015 G. PighizziniM. Ferrari Book (author) -
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 2020 Fiorentini, CamilloFerrari, Mauro Article (author) -
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 2020 C. FiorentiniM. Ferrari Book Part (author) -
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 2020 C. FiorentiniM. Ferrari Book Part (author) -
A forward internal calculus for model generation in S4 2021 Fiorentini, CamilloFerrari, Mauro Article (author) -
SAT-Based Proof Search in Intermediate Propositional Logics 2022 Camillo FiorentiniMauro Ferrari 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) -
A Gödel Modal Logic over Witnessed Crisp Models 2025 Ferrari, MauroFiorentini, Camillo + Book Part (author) -
Mostrati risultati da 1 a 11 di 11
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile