Bruno Courcelle
seminars given
| ημερομηνία | τίτλος | |
|---|---|---|
| 2011/01/24 | Special tree-width and the verification of monadic second-order Properties | |
| 2009/05/15 | Short vertex labels for connectivity checking in planar graphs with forbidden parts | |
| 2 seminars. | ||
| You are here: Persons » Bruno Courcelle |
| ημερομηνία | τίτλος | |
|---|---|---|
| 2011/01/24 | Special tree-width and the verification of monadic second-order Properties | |
| 2009/05/15 | Short vertex labels for connectivity checking in planar graphs with forbidden parts | |
| 2 seminars. | ||