Quasi Morphisms for Almost Full Relations

EasyChair Preprint 13175, version history

Version	Date	Pages	Version notes
1	May 3, 2024	3
2	May 7, 2024	3	Two typos: - the word "list" was redundant - the hyphen between quasi & morphism was not consistent with the other uses The reference to footnote 2 was moved at the end of the paragraph since both remark concern paper [11]

Keyphrases: Almost Full relations, Coq, Mechanization, constructive well quasi ordering, morphisms

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:13175,
  author    = {Dominique Larchey-Wendling},
  title     = {Quasi Morphisms for Almost Full Relations},
  howpublished = {EasyChair Preprint 13175},
  year      = {EasyChair, 2024}}