continuation
- Speaker(s)
- Thomas Colcombet
- Affiliation
- LIAFA, Université Paris 7
- Date
- Nov. 20, 2013, 2:15 p.m.
- Room
- room 5870
- 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.