Communication Dans Un Congrès
Année : 1992
Anne-Cécile Caron : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01820508
Soumis le : jeudi 21 juin 2018-17:23:48
Dernière modification le : vendredi 24 mars 2023-14:53:07
Citer
Anne-Cécile Caron. Decidability of Reachability and Disjoint Union of Term Rewriting Systems. CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, 1992, Unknown, Unknown Region. pp.86--101, ⟨10.1007/3-540-55251-0_5⟩. ⟨hal-01820508⟩
Collections
24
Consultations
0
Téléchargements