Pubblicazioni

Adaptive cluster expansion for Ising spin models

2019 - THE EUROPEAN PHYSICAL JOURNAL. B, CONDENSED MATTER PHYSICS
Cocco, S; Croce, G; Zamponi, F

Cycle detection in computation tree logic

2018 - INFORMATION AND COMPUTATION
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.

Cycle detection in computation tree logic

2016 - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L.

Possibilistic and probabilistic logic under coherence: default reasoning and System P.

2015 - MATHEMATICA SLOVACA
G., Coletti; R., Scozzafava; Vantaggi, Barbara

Binding forms in first-order logic

2015 - 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Mogavero, F.; Perelli, G.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma