Organizzatori: | Lorenzo Tortora de Falco
Paolo Tranquilli
|
||
Inizio: | 24/04/2009
|
||
Fine: | |||
Dove: | Facoltà di Lettere e Filosofia
Università Roma Tre
via Ostiense 234
|
||
Descrizione
Workshop informale in occasione della discussione di dottorato di Paolo Tranquilli. |
|||
Reti di prova tra determinismo e non determinismo |
La dinamica del vivente
|
Ricostruire una rete di prova dal suo sviluppo di Taylor
|
Semantica denotazionale per la logica lineare a livelli
|
Costruzione concorrente di reti di prova e sistemi transazionali
|
Logica, cognizione e dimostrazioni visive
|
Algebre di von Neumann, shift registers e complessità
|
Una misura semantica del tempo di esecuzione in logica lineare
|
Lezioni per la ricerca in logica
|
Otto lezioni sull'incompletezza
|