| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BenerecettiBozzelli-QuantifyingOverTree,
author = {Massimo Benerecetti and Laura Bozzelli and Fabio Mogavero and Adriano Peron},
title = {Quantifying Over Trees in Monadic Second-Order Logic},
booktitle = {Proceedings of the Thirty eighth Annual IEEE Symposium on Logic in Computer Science (LICS 2023)},
year = {2023},
month = {June},
pages = {1--13},
location = {Boston, USA},
publisher = {IEEE Computer Society Press}
}