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
Proof Theory of Past, Present, and Future
2009 B. Boretti
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
2009 B. Boretti, N. S.
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 | - | |
Proof Theory of Past, Present, and Future | 2009 | B. Boretti | Conference Object | - | |
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus | 2009 | BORETTI, BIANCA + | Book Part (author) | - | |
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) | - |