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

2025
9781956792089
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]
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/1061757
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact