Article Dans Une Revue
Information Processing Letters
Année : 1993
Irène Durand : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00344333
Soumis le : jeudi 4 décembre 2008-14:55:03
Dernière modification le : lundi 5 juin 2023-16:52:11
Dates et versions
Identifiants
- HAL Id : hal-00344333 , version 1
Citer
Irène A. Durand, Bruno Salinier. Constructor Equivalent Term Rewriting Systems. Information Processing Letters, 1993, 47, pp.131--137. ⟨hal-00344333⟩
Collections
56
Consultations
0
Téléchargements