continuation

Speaker(s)

Thomas Colcombet

Affiliation

LIAFA, Université Paris 7

Date

Nov. 20, 2013, 2:15 p.m.

Room

room 5870

Title in Polish

Regular Cost-Functions and Internal Set Theory

Seminar

Seminar Automata Theory

---

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.

---