Skip to content

Multiply-Recursive Upper Bounds with Higman's Lemma.

Sylvain Schmitz, Philippe Schnoebelen

VenueA*ICALP
Year2011
ProceedingsICALP (2)

Browse the full ICALP paper archive.