Vers une traduction de K en Dedukti - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Vers une traduction de K en Dedukti

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
jfla22_paper_7.pdf (916.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Valentin Blot  : Connect in order to contact the contributor

https://hal.science/hal-03604962

Submitted on : Thursday, March 10, 2022-4:55:36 PM

Last modification on : Friday, May 17, 2024-4:22:05 PM

Download

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-03604962 , version 1

Cite

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⟩

Export

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
238 View
82 Download

Share

Gmail Facebook X LinkedIn More