- 2
Sylvain Schmitz
2
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
Demystifying Reachability in Vector Addition SystemsLICS 2015, Jul 2015, Kyoto, Japan. pp.56--67, ⟨10.1109/LICS.2015.16⟩
Communication dans un congrès
hal-01168388v1
|
|
Algorithmic Complexity of Well-Quasi-OrdersLogic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
HDR
tel-01663266v1
|