Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Mirko Viroli
Pubblicazioni
Nuvole
rivista : ACM Transactions on Computational Logic
rivista : ACM Transactions on Computational Logic
1 article / Mirko Viroli
A Higher-Order Calculus of Computational Fields
(2019) —
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
[
nuvola riviste
/ Mirko Viroli / pubblicazioni ]
0000-0003-2702-5702