Skip to content

Local normal forms and their use in algorithmic meta theorems (Invited Talk).

Nicole Schweikardt

VenueA*LICS
Year2019
ProceedingsLICS

Browse the full LICS paper archive.