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. (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
Ferrari, M., Fiorentini, C., & Fiorino, G. (2015). Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations. In Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015 (pp.117-121). CEUR-WS. Dettaglio
Fiorino, G. (2014). Terminating Calculi for Propositional Dummett Logic with Subformula Property. JOURNAL OF AUTOMATED REASONING, 52(1), 67-97. Dettaglio

Futuri studenti