Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 3 di 3
Interval Temporal Logic for Visibly Pushdown Systems
2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Interval vs. point temporal logic model checking: An expressiveness comparison
2019-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the Complexity of Model Checking Knowledge and Time
2024-01-01 Bozzelli, L.; Maubert, B.; Murano, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Interval Temporal Logic for Visibly Pushdown Systems | 1-gen-2023 | Bozzelli, L.; Montanari, A.; Peron, A. | |
| Interval vs. point temporal logic model checking: An expressiveness comparison | 1-gen-2019 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro | |
| On the Complexity of Model Checking Knowledge and Time | 1-gen-2024 | Bozzelli, L.; Maubert, B.; Murano, A. |
Mostrati risultati da 1 a 3 di 3
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