Sfoglia per Rivista
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
2016-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Unique Solutions of Contractions, CCS, and their HOL Formalisation
2018-01-01 Tian, Chun; Sangiorgi, Davide
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete | 1-gen-2016 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions | 1-gen-2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Unique Solutions of Contractions, CCS, and their HOL Formalisation | 1-gen-2018 | Tian, Chun; Sangiorgi, Davide |
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