Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces / Godziszewski, M.T., Catta, D., Murano, A.. - 3883:(2024).
Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces
Michal Tomasz Godziszewski
Primo
Membro del Collaboration Group
;Davide Catta
Secondo
Membro del Collaboration Group
;Aniello Murano
Ultimo
Membro del Collaboration Group
2024
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.


