A Logical Characterization of Systolic Languages.

Angelo Monti, Adriano Peron

Browse the full STACS paper archive.