Sfoglia per Rivista
Mostra risultati da 2 a 4 di 4
Categorical Methods at the Crossroads: Report from Dagstuhl Perspectives Workshop 14182
2014-01-01 Abramsky, S.; Baez, J.; Gadducci, Fabio; Winschel, V.
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism: Artifact
2023-01-01 Zippo, Raffaele; Nikolaus, Paul; Stea, Giovanni
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
2015-01-01 Abdulla, Parosh Aziz; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Categorical Methods at the Crossroads: Report from Dagstuhl Perspectives Workshop 14182 | 1-gen-2014 | Abramsky, S.; Baez, J.; Gadducci, Fabio; Winschel, V. | |
Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism: Artifact | 1-gen-2023 | Zippo, Raffaele; Nikolaus, Paul; Stea, Giovanni | |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) | 1-gen-2015 | Abdulla, Parosh Aziz; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor |
Mostra risultati da 2 a 4 di 4
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