Regular Cost-Functions and Internal Set Theory

Prelegent(ci)

Thomas Colcombet

Afiliacja

LIAFA, Université Paris 7

Termin

20 listopada 2013 14:15

Pokój

p. 5870

Tytuł w języku angielskim

continuation

Seminarium

Seminarium „Teoria automatów”

---

We will show how to solve cost-MSO over finite words, paying a particular attention to the use of the non-standard aspect of Internal Set Theory.

---