Login / Signup

Multiply-Recursive Upper Bounds with Higman's Lemma.

Sylvain SchmitzPhilippe Schnoebelen
Published in: ICALP (2) (2011)
Keyphrases