Article Dans Une Revue
Theoretical Computer Science
Année : 1994
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01820505
Soumis le : jeudi 21 juin 2018-17:23:27
Dernière modification le : dimanche 23 mars 2025-03:12:59
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
68
Consultations
0
Téléchargements