First-Order Logic Definability of Free Languages.

Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella

Browse the full CSR paper archive.