Seminario: "A Tableau for Until and Since over Linear Time"
We use mosaics (and games) to provide a simple, sound and complete tableau reasoning procedure for the temporal logic of until and since over general linear time.
| Cosa | |
|---|---|
| Quando |
20/01/2012 11:30
20/01/2012 12:30
20/01/2012 da 11:30 al 12:30 |
| Dove | Sala Riunioni |
| Persona di riferimento | Angelo Montanari |
| Indirizzo e-mail per contatti | angelo.montanari@uniud.it |
| Aggiungi l'evento al calendario |
|
Il seminario sarà tenuto dal prof. Mark Reynolds (University of Western Australia), in occasione di una breve visita al nostro Dipartimento.
