Taming Strategy Logic: Non-Recurrent Fragments / Benerecetti, Massimo; Mogavero, Fabio; Peron, Adriano. - (2022). (Intervento presentato al convegno 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)) [10.4230/lipics.time.2022.14].
Taming Strategy Logic: Non-Recurrent Fragments
Massimo Benerecetti
;Fabio Mogavero
;Adriano Peron
2022
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
bmp(time22).pdf
accesso aperto
Licenza:
Creative commons
Dimensione
645.73 kB
Formato
Adobe PDF
|
645.73 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.