Login / Signup

A Logical Descriptor for Regular Languages via Stone Duality.

Stefano AguzzoliDenisa DiaconescuTommaso Flaminio
Published in: ICTAC (2014)
Keyphrases