Article Dans Une Revue
Journal of Symbolic Computation
Année : 1994
Irène Durand : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00344335
Soumis le : jeudi 4 décembre 2008-14:57:55
Dernière modification le : lundi 5 juin 2023-16:52:11
Dates et versions
Identifiants
- HAL Id : hal-00344335 , version 1
Citer
Irène A. Durand. Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems. Journal of Symbolic Computation, 1994, 18, pp.319--352. ⟨hal-00344335⟩
Collections
51
Consultations
0
Téléchargements