| Speaker: | Lorenzo Tortora de Falco
|
||
| Quando: | 13/02/2009 - 14:00
|
||
| Dove: | Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
|
||
|
Abstract
"Una misura semantica del tempo di esecuzione in logica lineare" (lavoro in collaborazione con D. De Carvalho e M. Pagani) |
|||