Communication Dans Un Congrès
Année : 2018
Pierre Lescanne : Connectez-vous pour contacter le contributeur
https://ens-lyon.hal.science/ensl-01892440
Soumis le : mercredi 10 octobre 2018-16:06:41
Dernière modification le : vendredi 5 avril 2024-10:13:31
Dates et versions
Identifiants
- HAL Id : ensl-01892440 , version 1
Citer
Pierre Lescanne, Dragisa Zunic. A Congruence Relation for Restructuring Classical Terms. 18th Italian Conference on Theoretical Computer Science, Oct 2018, Naples, Italy. pp.186-197. ⟨ensl-01892440⟩
81
Consultations
0
Téléchargements