Quasi Morphisms for Almost Full Relations

EasyChair Preprint 13175, version 2

Versions: 12→history

3 pages•Date: May 7, 2024

Dominique Larchey-Wendling

Abstract

In Coq, we mechanize two morphisms for transferring the Almost Full property between relations.

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

Links:

https://easychair.org/publications/preprint/M3Km

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}}

Download PDF Open PDF in browser