You are not logged in |
second part
- Speaker(s)
- Sylvain Schmitz
- Affiliation
- ENS de Cachan
- Date
- June 7, 2017, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
I'll present an approach to computing downward-closures and solving separability by piecewise-testable sets using ideal decompositions. The talk will be based on a joint paper with J. Goubault-Larrecq published at ICALP last year.
