An Intuitionistic Version of Alternating-Time Temporal Logic / Bozzelli, L., Capone, A., Catta, D., Murano, A.. - (2025), pp. 185-195. [10.24963/KR.2025/19]
An Intuitionistic Version of Alternating-Time Temporal Logic
Laura Bozzelli
Membro del Collaboration Group
;Andrea Capone
Membro del Collaboration Group
;Davide Catta
Membro del Collaboration Group
;Aniello Murano
Ultimo
Membro del Collaboration Group
2025
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


