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]

Good-for-Game QPTL: An Alternating Hodges Semantics

Benerecetti M.
;
Mogavero F.
2023

2023
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.

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