PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving - Laboratoire Méthodes Formelles Accéder directement au contenu
N°Spécial De Revue/Special Issue Electronic Proceedings in Theoretical Computer Science Année : 2021

PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving

Chantal Keller
Université Paris-Saclay
Laboratoire Méthodes Formelles
Mathias Fleury
Institute for Formal Models and Verification

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
pxtp21.pdf (1.89 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Chantal Keller  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03443742

Soumis le : mercredi 26 janvier 2022-10:31:02

Dernière modification le : vendredi 17 mai 2024-16:22:05

Archivage à long terme le : mercredi 27 avril 2022-18:01:14

Télécharger pour visualiser

Dates et versions

hal-03443742 , version 1 (26-01-2022)

Identifiants

Citer

Chantal Keller, Mathias Fleury. PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving. Electronic Proceedings in Theoretical Computer Science, 336, 61 p., 2021, ⟨10.4204/eptcs.336⟩. ⟨hal-03443742⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
53 Consultations
46 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More