Algorithmic Theory of WQOs

Cichoń and Tahhan Bittar, 1998

Summary

E. Adam Cichoń and Elias Tahhan Bittar (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 = { },
}