Article Dans Une Revue
Information Processing Letters
Année : 1994
Irène Durand : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00344330
Soumis le : jeudi 4 décembre 2008-14:51:32
Dernière modification le : lundi 5 juin 2023-16:52:11
Dates et versions
Identifiants
- HAL Id : hal-00344330 , version 1
Citer
Irène A. Durand, Bruno Salinier. Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof. Information Processing Letters, 1994, 52, pp.137--145. ⟨hal-00344330⟩
Collections
53
Consultations
0
Téléchargements