Article Dans Une Revue
Theoretical Computer Science
Année : 1994
Anne-Cécile Caron : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01820505
Soumis le : jeudi 21 juin 2018-17:23:27
Dernière modification le : vendredi 24 mars 2023-14:53:07
Citer
Anne-Cécile Caron, Jean-Luc Coquidé. Decidability of Reachability for Disjoint Union of Term Rewriting Systems. Theoretical Computer Science, 1994, 126 (1), pp.31--52. ⟨10.1016/0304-3975(94)90267-4⟩. ⟨hal-01820505⟩
Collections
30
Consultations
0
Téléchargements