Pubblicazioni

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