Formalising Huffman's algorithm

Rapport (Rapport De Recherche) Année : 2004

Une formalisation de l'algorithme de Huffman

(1)

1

Laurent Théry

Dipartimento di Informatica [Italy]

Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]

Fichier principal

Aquila.pdf (390.63 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://hal.science/hal-02149909

Soumis le : jeudi 6 juin 2019-17:30:31

Dernière modification le : jeudi 15 février 2024-03:30:53

hal-02149909 , version 1 (06-06-2019)

Laurent Théry. Formalising Huffman's algorithm. [Research Report] Università degli Studi dell'Aquila. 2004. ⟨hal-02149909⟩

UNIV-RENNES1 IRISA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

188 Consultations

337 Téléchargements