Communication Dans Un Congrès
Année : 2012
Delia KESNER : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00686794
Soumis le : mercredi 11 avril 2012-11:29:49
Dernière modification le : vendredi 27 octobre 2023-16:14:06
Dates et versions
Identifiants
- HAL Id : hal-00686794 , version 1
Citer
Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos. Normalisation for Dynamic Pattern Calculi. International Conference on Rewriting Techniques and Applications (RTA), 2012, Nagoya, Japan. 16 p. ⟨hal-00686794⟩
Collections
39
Consultations
0
Téléchargements