Conference Papers
Year :
Sophie Tison : Connect in order to contact the contributor
https://hal.science/hal-02193998
Submitted on : Thursday, July 25, 2019-9:49:19 AM
Last modification on : Thursday, May 11, 2023-11:56:10 AM
Dates and versions
Identifiers
- HAL Id : hal-02193998 , version 1
Cite
Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne. Decidability of the Confluence of Ground Term Rewriting Systems.. LICS 1987 - Second Annual IEEE Symposium on Logic in Computer Science, Jun 1987, Ithaca, New York, United States. ⟨hal-02193998⟩
Collections
41
View
0
Download