Journal Articles Information and Computation Year : 1990

Dates and versions

hal-02193891 , version 1 (24-07-2019)

Identifiers

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⟩
145 View
0 Download

Altmetric

Share

  • More