Kruskal-Higman - Department of Formal methods
Logiciel Année : 2024

Kruskal-Higman

Résumé

This library is an extension of Kruskal-AlmostFull. It contains a detailed and expanded constructive/inductive proof of Higman's lemma.

Domaines

Informatique [cs] Informatique et langage [cs.CL] Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Logique [math.LO]

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

https://hal.science/hal-04797810

Soumis le : vendredi 22 novembre 2024-11:49:33

Dernière modification le : samedi 23 novembre 2024-03:31:10

Consulter sur Present sur SoftwareHeritage

Dates et versions

hal-04797810 , version 1 (22-11-2024)

Identifiants

Métadonnées

  • version : 1.3
  • softwareLicence : https://spdx.org/licenses/MPL-2.0
  • programmingLanguage : Coq
  • codeRepository : https://github.com/DmxLarchey/Kruskal-Higman.git

Citer

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA LORIA-FM LOGICIELS-UL
0 Consultations
0 Téléchargements

Partager

More