Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues

Résumé

Non disponible
Fichier principal
Vignette du fichier
paper_9.pdf (179.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00387817 , version 1 (25-05-2009)

Identifiants

  • HAL Id : hal-00387817 , version 1

Citer

Thi Bich Hanh Dao. Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.345-355. ⟨hal-00387817⟩
59 Consultations
42 Téléchargements

Partager

Gmail Facebook X LinkedIn More