- 1
Sylvain Schmitz
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Deciding Piecewise Testable Separability for Regular Tree LanguagesICALP 2016, Jul 2016, Rome, Italy. pp.97:1--97:15, ⟨10.4230/LIPIcs.ICALP.2016.97⟩
Communication dans un congrès
hal-01276119v4
|