Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.

Violetta Lonati, Dino Mandrioli, Matteo Pradella

Browse the full SOFSEM paper archive.