Good-for-Game QPTL: An Alternating Hodges Semantics / Bellier, D.; Benerecetti, M.; Monica, D. D.; Mogavero, F.. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 24:1(2023), pp. 1-57. [10.1145/3565365]
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
tocl.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
1.16 MB
Formato
Adobe PDF
|
1.16 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.