Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Sébastien Labbé

Mots clés

FR |

EN

Réduction paramétrée de modèles

Spécifications

Automates communicants

Analyse statique

Analyse de flot de données

Algorithmes polynomiaux

Sous-Shifts sofiques

Pavage (mathématiques)

Dynamique symbolique

Décidabilité (logique mathématique)