BORETTI, BIANCA
BORETTI, BIANCA
Universita' degli Studi di MILANO
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.0 secondi).
On the finitization of Priorean linear time
2009 B. Boretti, S. Negri
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
2009 B. Boretti, N. S.
Proof Theory of Past, Present, and Future
2009 B. Boretti
Proof Analysis in Temporal Logic
2009 B. Boretti
Analisi della dimostrazione nella logica del tempo
2008 B. Boretti
Analisi della dimostrazione nella logica del tempo
2008 B. Boretti
Equality in the presence of apartness : an application of structural proof analysis to intuitionistic axiomatics
2006 B. Boretti, S. Negri
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| On the finitization of Priorean linear time | 2009 | B. Boretti + | Conference Object | - | |
| Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus | 2009 | BORETTI, BIANCA + | Book Part (author) | - | |
| Proof Theory of Past, Present, and Future | 2009 | B. Boretti | Conference Object | - | |
| Proof Analysis in Temporal Logic | 2009 | B. Boretti | Doctoral Thesis | - | |
| Analisi della dimostrazione nella logica del tempo | 2008 | B. Boretti | Conference Object | - | |
| Analisi della dimostrazione nella logica del tempo | 2008 | B. Boretti | Conference Object | - | |
| Equality in the presence of apartness : an application of structural proof analysis to intuitionistic axiomatics | 2006 | B. Boretti + | Article (author) | - |