Ph.D student in language theory and (wannabe descriptive) complexity theory, at Universite de Montreal.
3 To what extent MSO = WS1S, when adding relations? jul 18 '10
3 What is the relation between the number syntactic congruence classes, and the number of Nerode relation classes? jul 22 '10
2 Vocabulary on monoid periodicity jul 17 '10