On the Normalization and Unique Normalization Properties of Term Rewrite Systems

Type de document :
Communication dans un congrès
CADE, 2007, Germany. SPRINGER Berlin /heidelberg, 4603/2007, pp.247-262, 2007, LNCS. 〈10.1007/978-3-540-73595-3_17〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00190004
Contributeur : Sophie Tison <>
Soumis le : jeudi 22 novembre 2007 - 20:07:17
Dernière modification le : jeudi 21 février 2019 - 10:52:49

Identifiants

Collections

Citation

Guillem Godoy, Sophie Tison. On the Normalization and Unique Normalization Properties of Term Rewrite Systems. CADE, 2007, Germany. SPRINGER Berlin /heidelberg, 4603/2007, pp.247-262, 2007, LNCS. 〈10.1007/978-3-540-73595-3_17〉. 〈hal-00190004〉

Partager

Métriques

Consultations de la notice

172