Communication Dans Un Congrès
Année : 1990
Sophie Tison : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02193918
Soumis le : mercredi 24 juillet 2019-20:17:41
Dernière modification le : mercredi 24 janvier 2024-09:54:22
Dates et versions
Identifiants
- HAL Id : hal-02193918 , version 1
Citer
M. Dauchet, S. Tison. The theory of ground rewrite systems is decidable. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990, Philadelphia, United States. pp.242-248. ⟨hal-02193918⟩
Collections
20
Consultations
0
Téléchargements