Addition Lemma - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2022

Addition Lemma

(1, 2, 3) , (1, 2, 3) , (1, 2, 3)

1
2
3

Charles Paperman

Fonction : Auteur
PersonId : 1119331

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Linking Dynamic Data

Inria Lille - Nord Europe

Sylvain Salvati

Fonction : Auteur
PersonId : 2196
IdHAL : sylvain-salvati
ORCID : 0000-0002-6230-0098
IdRef : 090492420

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Linking Dynamic Data

Inria Lille - Nord Europe

Claire Soyez-Martin

Fonction : Auteur

Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189

Linking Dynamic Data

Inria Lille - Nord Europe

Domaines

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

Charles Paperman : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03787033

Soumis le : vendredi 23 septembre 2022-20:22:43

Dernière modification le : mercredi 24 janvier 2024-09:54:23

Dates et versions

hal-03787033 , version 1 (23-09-2022)

Identifiants

HAL Id : hal-03787033 , version 1
SWHID : swh:1:dir:96d9d877d1614a94ce56bc8cec4c941adfaa1af3

version :
Licences : MIT License
Langage de programmation : Coq
Code Repository : https://gitlab.inria.fr/ssalvati/addition-lemma
Outils de développement : coq

Citer

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin. Addition Lemma. 2022, ⟨swh:1:dir:96d9d877d1614a94ce56bc8cec4c941adfaa1af3⟩. ⟨hal-03787033⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA CRISTAL INRIA2 CRISTAL-LINKS UNIV-LILLE

79 Consultations

2 Téléchargements

Partager