wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

higmans_lemma (213B)

      1 # Higman's lemma
      2 
      3 [words] on finite [alphabet] are [well_quasi_ordering] by [subsequence] relation
      4 
      5 Of course does not work with [subword]
      6 
      7 Up: [lemma], [word_combinatorics]
      8 
      9 See also: [language_downwards_closed]