Quasi Morphisms for Almost Full Relations

EasyChair Preprint no. 13175, version history

Dominique Larchey-Wendling

Version

Date

Pages

Version notes

May 3, 2024

—

May 7, 2024

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, constructive well quasi ordering, Coq, Mechanization, 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 no. 13175},

  year = {EasyChair, 2024}}