Skip to content

A Decidable Two-Way Logic on Data Words.

Diego Figueira

VenueA*LICS
Year2011
ProceedingsLICS

Browse the full LICS paper archive.