Vers une traduction de K en Dedukti - Trente-Troisièmes Journées Francophones des Langages Applicatifs Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Vers une traduction de K en Dedukti

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
jfla22_paper_7.pdf (916.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Valentin Blot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03604962

Soumis le : jeudi 10 mars 2022-16:55:36

Dernière modification le : mardi 9 avril 2024-17:14:32

Télécharger pour visualiser

Dates et versions

hal-03604962 , version 1 (10-03-2022)

Licence

Paternité

Identifiants

  • HAL Id : hal-03604962 , version 1

Citer

Amélie Ledein, Valentin Blot, Catherine Dubois. Vers une traduction de K en Dedukti. JFLA 2022 - Journées Francophones des Langages Applicatifs (JFLA), Jun 2022, Saint-Médard-d'Excideuil, France. ⟨hal-03604962⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS INRIA ENS-CACHAN TELECOM-SUDPARIS CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY IP_PARIS ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF JFLA2022 ENSIIE
231 Consultations
80 Téléchargements

Partager

Gmail Facebook X LinkedIn More