Recognizability Equals Definability for Partial k-Paths.

Valentine Kabanets

Browse the full ICALP paper archive.