A Logical Descriptor for Regular Languages via Stone Duality.

Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio

Browse the full ICTAC paper archive.