Article Dans Une Revue
Information and Computation
Année : 1990
Sophie Tison : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02193891
Soumis le : mercredi 24 juillet 2019-19:49:19
Dernière modification le : jeudi 11 mai 2023-11:56:10
Citer
Max Dauchet, Thierry Heuillard, Pierre Lescanne, Sophie Tison. Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. Information and Computation, 1990, 88 (2), pp.187-201. ⟨10.1016/0890-5401(90)90015-A⟩. ⟨hal-02193891⟩
Collections
24
Consultations
0
Téléchargements