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