Communication Dans Un Congrès
Année : 2016
Yohan Boichut : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01291393
Soumis le : lundi 21 mars 2016-14:19:14
Dernière modification le : samedi 25 juin 2022-10:12:50
Dates et versions
Identifiants
- HAL Id : hal-01291393 , version 1
Citer
Yohan Boichut, Pierre Réty, Vivien Pelletier. Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. International Workshop on Rewriting Logic and its Applications, Apr 2016, Eindhoven, Netherlands. ⟨hal-01291393⟩
Collections
466
Consultations
0
Téléchargements