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

2023
979-8-3503-3587-3
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].
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.

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