Communication Dans Un Congrès
Année : 2007
Sophie Tison : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00190004
Soumis le : jeudi 22 novembre 2007-20:07:17
Dernière modification le : mardi 9 avril 2024-08:56:04
Citer
Guillem Godoy, Sophie Tison. On the Normalization and Unique Normalization Properties of Term Rewrite Systems. CADE, 2007, Germany. pp.247-262, ⟨10.1007/978-3-540-73595-3_17⟩. ⟨hal-00190004⟩
88
Consultations
0
Téléchargements