Travaux de rédaction 2008/2009
Mots de Sturm
(Fathi Ben Aribi)
Théorème de Fagin
(Cyril Bouvier)
Hiérarchie polynomiale
(Vincent Brault)
Zero-knowledge
(Julien Bureaux)
Modèle de Blum-Shub-Smale
(
exposé
) (Stéphane Caron)
Complexité randomisée
(Jérôme Casse)
Automates sur les mots transfinis
(
exposé
) (Guillaume Claret)
Transductions rationnelles
(Daphné Dieuleveut)
IP=PSPACE
(Nathanaël François)
Théorème de Cardinalité
(
exposé
) (Pierre Gaillard)
Automates à piles de pile
(
exposé
) (David Gontier)
Des expressions rationnelles aux automates
(Thibaut Horel)
Motifs inévitables
(
exposé
) (Anisse Ismaïli)
Complexité de Kolmogorov
(
exposé
) (Jacques-Henri Jourdan)
Théorème de Cobham
(
exposé
) (Titus Lupu)
Simulation d'une machine à k bandes
(
exposé
) (Michaël Mathieu)
Forme normale de Greibach
(Arthur Milchior)
Théorie des codes
(
exposé
) (Silvain Rideau)
λ-calcul
(Gabriel Scherer)
Calculabilité distribuée
(
exposé
) (Guillaume Seguin)
Bases non standards
(Ilia Smilga)
Logique monadique du second ordre et automates
(Rémy Tuyeras)
Algorithme d'Hopcroft
(Yingjie Xu)