BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
lemma (3)
multipli (2)
recurs (2)
characteris (1)
upper (1)

Stem higman$ (all stems)

3 papers:

ICALPICALP-v2-2011-SchmitzS #bound #multi #recursion
Multiply-Recursive Upper Bounds with Higman’s Lemma (SS, PS), pp. 441–452.
RTARTA-1999-Touzet #multi #recursion
A Characterisation of Multiply Recursive Functions with Higman’s Lemma (HT), pp. 163–174.
LICSLICS-1990-MurthyR #proving
A Constructive Proof of Higman’s Lemma (CRM, JRR), pp. 257–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.