Pubblicazioni

Reconstructing a single-head formula to facilitate logical forgetting

2023 - JOURNAL OF LOGIC AND COMPUTATION
Liberatore, P.

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