Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Unique solutions of contractions, CCS, and their HOL formalisation | Tian, Chun; Sangiorgi, Davide | 2018-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | FINAL_proceedings.pdf |
Unique solutions of contractions, CCS, and their HOL formalisation | Tian C.; Sangiorgi D. | 2020-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | HAL_final_main.pdf |
Mostrati risultati da 1 a 2 di 2
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