Communication Dans Un Congrès
Année : 2018
Nirina Andrianarivelo : Connectez-vous pour contacter le contributeur
https://univ-orleans.hal.science/hal-01780553
Soumis le : vendredi 27 avril 2018-15:52:58
Dernière modification le : samedi 25 juin 2022-10:12:58
Dates et versions
Identifiants
- HAL Id : hal-01780553 , version 1
Citer
Nirina Andrianarivelo, Pierre Rety. Confluence of Prefix-Constrained Rewrite Systems. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨hal-01780553⟩
Collections
89
Consultations
0
Téléchargements