Communication Dans Un Congrès
Année : 2016
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01403183
Soumis le : vendredi 25 novembre 2016-15:02:13
Dernière modification le : mercredi 18 décembre 2024-09:23:26
Dates et versions
Identifiants
- HAL Id : hal-01403183 , version 1
Citer
Jon Haël Brenas, Rachid Echahed, Martin Strecker. Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD 2016, 2016, Porto, Portugal. ⟨hal-01403183⟩
Collections
151
Consultations
0
Téléchargements