BRESOLIN, Davide
BRESOLIN, Davide
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
A Tableau-based decision procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Time granularities and ultimately periodic automata
2003-01-01 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Tableau-based decision procedure for Right Propositional Neighborhood Logic | 1-gen-2005 | Bresolin, Davide; Angelo, Montanari | |
| An optimal tableau-based decision algorithm for Propositional Neighborhood Logic | 1-gen-2006 | Bresolin, Davide; Angelo, Montanari; Sala, Pietro | |
| Time granularities and ultimately periodic automata | 1-gen-2003 | Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis |