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.


