Downward-closures and PTL separability

Speaker(s)

Sylvain Schmitz

Affiliation

ENS de Cachan

Date

May 24, 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.

---