Skip to content

Logic and regular cost functions.

Thomas Colcombet

VenueA*LICS
Year2017
ProceedingsLICS

Browse the full LICS paper archive.