HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Logique sur les graphes et protocoles de diffusion

Damien Regnault 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le but de ce stage est d'apporter une généralisation de cet algorithme des arbres vers les graphes de tree-width borné. Nous avons essayé de généraliser le problème dans le cas des graphes à treewidth borné et des pathwidth pour pouvoir utiliser le théorème de Courcelles (voir Parametrized Complexity).
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099499
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:37:29 AM
Last modification on : Friday, February 4, 2022 - 3:31:18 AM
Long-term archiving on: : Friday, November 25, 2016 - 11:47:58 AM

Identifiers

  • HAL Id : inria-00099499, version 1

Collections

Citation

Damien Regnault. Logique sur les graphes et protocoles de diffusion. [Stage] A03-R-320 || regnault03a, 2003, 17 p. ⟨inria-00099499⟩

Share

Metrics

Record views

47

Files downloads

51