Sfoglia per Rivista
Mostrati risultati da 1 a 5 di 5
Approximation and relative entropy
2012-01-01 DI PIERRO, Alessandra
The dual value of Probabilistic Abstract interpretation
2016-01-01 DI PIERRO, Alessandra
Integrated Deduction - Report from Dagstuhl Seminar 21371
2022-01-01 Bonacina, Maria Paola; Ruemmer, Philipp; Schmidt, Renate A.
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471
2024-01-01 Bonacina, Maria Paola; Fontaine, Pascal; Nalon, Claudia; Schon, Claudia; Desharnais, Martin
A Topological Quantum Calculus
2015-01-01 DI PIERRO, Alessandra
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Approximation and relative entropy | 1-gen-2012 | DI PIERRO, Alessandra | |
The dual value of Probabilistic Abstract interpretation | 1-gen-2016 | DI PIERRO, Alessandra | |
Integrated Deduction - Report from Dagstuhl Seminar 21371 | 1-gen-2022 | Bonacina, Maria Paola; Ruemmer, Philipp; Schmidt, Renate A. | |
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471 | 1-gen-2024 | Bonacina, Maria Paola; Fontaine, Pascal; Nalon, Claudia; Schon, Claudia; Desharnais, Martin | |
A Topological Quantum Calculus | 1-gen-2015 | DI PIERRO, Alessandra |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile