Quasi Morphisms for Almost Full relations - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2024

Quasi Morphisms for Almost Full relations

(1, 2)

1
2

Dominique Larchey-Wendling

Fonction : Auteur
PersonId : 6871
IdHAL : dlarcheyw
ORCID : 0000-0001-9860-7203
IdRef : 152492003

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Department of Formal Methods

Résumé

This repository contains the artifact for the paper "Quasi Morphisms for Almost Full relations" presented at the TYPES 2024 conference.

Mots clés

Almost Full relations Coq Mechanization constructive well quasi ordering morphisms

Domaines

Informatique [cs] Informatique et langage [cs.CL] Logique en informatique [cs.LO] Logiciel mathématique [cs.MS]

Dominique Larchey-Wendling : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04796210

Soumis le : mercredi 27 novembre 2024-15:27:09

Dernière modification le : jeudi 12 décembre 2024-03:25:42

Dates et versions

hal-04796210 , version 1 (27-11-2024)

Identifiants

HAL Id : hal-04796210 , version 1
SWHID : swh:1:dir:6f3e647967bf8e08a929e42e86f4e66d0cc0691a;origin=https://github.com/DmxLarchey/Quasi-Morphisms;visit=swh:1:snp:207542052af91d42e13db15b0072cec7d09a0493;anchor=swh:1:rev:bd4cb0dd28fe1ac2a86d0940517fd8b99cff3e48

version :
Licences : Mozilla Public License 2.0
Langage de programmation : Coq
Code Repository : https://github.com/DmxLarchey/Quasi-Morphisms
Platform/OS : Linux

Citer

Dominique Larchey-Wendling. Quasi Morphisms for Almost Full relations. 2024, ⟨swh:1:dir:6f3e647967bf8e08a929e42e86f4e66d0cc0691a;origin=https://github.com/DmxLarchey/Quasi-Morphisms;visit=swh:1:snp:207542052af91d42e13db15b0072cec7d09a0493;anchor=swh:1:rev:bd4cb0dd28fe1ac2a86d0940517fd8b99cff3e48⟩. ⟨hal-04796210⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LORIA-FM ANR LOGICIELS-UL

0 Consultations

0 Téléchargements

Partager