Sfoglia per Rivista
Fuzzy time in linear temporal logic
2014-01-01 Frigeri, A.; Pasquale, L.; Spoletini, Paola
On the complexity of the disjunction property in intuitionistic and modal logics
2005-01-01 Ferrari, Mauro; Fiorentini, C; Fiorino, G.
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 |
---|---|---|---|
Fuzzy time in linear temporal logic | 1-gen-2014 | Frigeri, A.; Pasquale, L.; Spoletini, Paola | |
On the complexity of the disjunction property in intuitionistic and modal logics | 1-gen-2005 | Ferrari, Mauro; Fiorentini, C; Fiorino, G. | |
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