Quantifying Over Trees in Monadic Second-Order Logic / Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano. - (2023), pp. 1-13. (Intervento presentato al convegno 38nd Annual ACM/IEEE Symposium on Logic in Computer Science) [10.1109/LICS56636.2023.10175832].
Quantifying Over Trees in Monadic Second-Order Logic
Benerecetti, Massimo
;Bozzelli, Laura
;Mogavero, Fabio
;
2023
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
bbmp(lics23).pdf
accesso aperto
Licenza:
Copyright dell'editore
Dimensione
472.65 kB
Formato
Adobe PDF
|
472.65 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.