Nie jesteś zalogowany |
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
- 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.
