Skip to content

A fine-grained hierarchy of hard problems in the separated fragment.

Marco Voigt

VenueA*LICS
Year2017
ProceedingsLICS

Browse the full LICS paper archive.