Downward-closures and PTL separability

Prelegent(ci)

Sylvain Schmitz

Afiliacja

ENS de Cachan

Termin

24 maja 2017 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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.

---