Pubblicazioni

Products, polynomials and differential equations in the stream calculus

2023 - ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Boreale, Michele; Collodi, Luisa; Gorla, Daniele

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