An Automaton-based Characterisation of First-Order Logic over Infinite Trees.
Massimo Benerecetti
•
Dario Della Monica
•
Angelo Matteo
altro
Gabriele Puppis
2025
Archivio
Diritti
open access
license:creative commons
license uri:http://creativecommons.org/licenses/by-nc-nd/4.0/