Vers une traduction de K en Dedukti
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2023
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 : jeudi 28 novembre 2024-14:52:02
Dates et versions
Licence
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⟩
Collections
327
Consultations
125
Téléchargements