FIORINO GUIDO GIUSEPPE

Ruolo:

Ricercatore

Settore scientifico disciplinare:

INFORMATICA (INF/01)

Afferenza:

E-mail:

Telefono:

0264487873

Stanza:

U14, Piano: P01, Stanza: 1031
Viale Sarca, 336 - 20126 MILANO

Ferrari, M., Fiorentini, C., & Fiorino, G. (2019). A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic. In COMPUTATION TOOLS 2019 The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking. Dettaglio
Ferrari, M., Fiorentini, C., & Fiorino., G. (2018). Forward Countermodel Construction in Modal Logic K. In Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018 (pp.75-81). CEUR-WS.org. Dettaglio
Ferrari, M., Fiorentini, C., & Fiorino, G. (2017). Proof-Search in Hilbert Calculi. In Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M\&N), Naples, Italy, September 26-28, 2017 (pp.301-305). CEUR-WS.org. Dettaglio
Ferrari, M., Fiorentini, C., & Fiorino, G. (2017). JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi. FUNDAMENTA INFORMATICAE, 150(1), 119-142. Dettaglio
Ferrari, M., Fiorentini, C., & Fiorino, G. (2015). An evaluation-driven decision procedure for G3i. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 16(1), 1-37. Dettaglio

Futuri studenti - Iscrizioni