On the Complexity of Model Checking Knowledge and Time / Bozzelli, L.; Maubert, B.; Murano, A.. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 25:1(2024), pp. 1-42. [10.1145/3637212]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
TOCL2024.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
742.58 kB
Formato
Adobe PDF
|
742.58 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.