Journal Articles
Information and Computation
Year : 1990
Connect in order to contact the contributor
https://hal.science/hal-02193891
Submitted on : Wednesday, July 24, 2019-7:49:19 PM
Last modification on : Monday, October 13, 2025-9:44:14 AM
Cite
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
145
View
0
Download