Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
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 |
---|---|---|---|
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