Skip to content

An Axiomatic Approach to the Korenjak-Hopcroft Algorithms.

Bruno Courcelle

VenueA*ICALP
Year1981
ProceedingsICALP

Browse the full ICALP paper archive.