Communication Dans Un Congrès
Année : 1987
Sophie Tison : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02193998
Soumis le : jeudi 25 juillet 2019-09:49:19
Dernière modification le : mercredi 24 janvier 2024-09:54:24
Dates et versions
Identifiants
- HAL Id : hal-02193998 , version 1
Citer
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
43
Consultations
0
Téléchargements