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 <>
Submitted on : Tuesday, September 26, 2006 - 9:37:29 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
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

82

Files downloads

110