Quantifying Over Trees in Monadic Second-Order Logic / Benerecetti, M., Bozzelli, L., Mogavero, F., Peron, A.. - (2023), pp. 1-13. (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.


