U14, Piano: P01, Stanza: 1031
Viale Sarca, 336 - 20126 MILANO
Viale Sarca, 336 - 20126 MILANO
FIORINO GUIDO GIUSEPPE
Ruolo:
Ricercatore
Settore scientifico disciplinare:
INFORMATICA (INF/01)
E-mail:
Telefono:
0264487873
Stanza:
Didattica
A.A.: 2019/2020
A.A.: 2018/2019
A.A.: 2017/2018
A.A.: 2016/2017
A.A.: 2015/2016
Pubblicazioni
- 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). JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi. FUNDAMENTA INFORMATICAE, 150(1), 119-142. 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. (2015). An evaluation-driven decision procedure for G3i. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 16(1), 1-37. Dettaglio