Sfoglia per Rivista
Probabilistic Bisimulation as a Congruence
2009-01-01 Lanotte, Ruggero; Tini, Simone
Simplification Rules for Intuitionistic Propositional Tableaux
2012-01-01 Ferrari, Mauro; Fiorentini, C.; Fiorino, G.
Time-aware Anonymization of Knowledge Graphs
2023-01-01 Hoang, Anh-Tu; Carminati, Barbara; Ferrari, Elena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Probabilistic Bisimulation as a Congruence | 1-gen-2009 | Lanotte, Ruggero; Tini, Simone | |
Simplification Rules for Intuitionistic Propositional Tableaux | 1-gen-2012 | Ferrari, Mauro; Fiorentini, C.; Fiorino, G. | |
Time-aware Anonymization of Knowledge Graphs | 1-gen-2023 | Hoang, Anh-Tu; Carminati, Barbara; Ferrari, Elena |
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