Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 1990

Dates et versions

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

Identifiants

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⟩
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More