Quasi Morphisms for Almost Full Relations

EasyChair Preprint no. 13175, version 2

Abstract

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

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

@Booklet{EasyChair:13175,
  author = {Dominique Larchey-Wendling},
  title = {Quasi Morphisms for Almost Full Relations},
  howpublished = {EasyChair Preprint no. 13175},

  year = {EasyChair, 2024}}