Algorithmic Theory of WQOs
Cichoń and Tahhan Bittar, 1998
Summary
(1998) Ordinal Recursive Bounds for Higman's Theorem (URL)
BibTeX entry
@ARTICLE { cichon98,
AUTHOR = { Cicho\'n, E. Adam and {Tahhan Bittar}, Elias },
JOURNAL = { },
NUMBER = { 1--2 },
PAGES = { 63--84 },
TITLE = { Ordinal Recursive Bounds for {Higman}'s {T}heorem },
VOLUME = { 201 },
YEAR = { 1998 },
DOI = { 10.1016/S0304-3975(97)00009-1 },
OPTPUBLISHER = { },
}