Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Lorijn Van Rooijen

est l'auteur d'une thèse

Automates Décidabilité Langages algébriques Langages localement testables Langages localement testables à seuil Langages non-ambigus Langages rationnels Langages réguliers Langages testables par morceaux Logiques Monoïdes Séparation Séparation

Fullscreen

Automates Décidabilité Langages algébriques Langages localement testables Langages localement testables à seuil Langages non-ambigus Langages rationnels Langages réguliers Langages testables par morceaux Logiques Monoïdes Séparation Séparation

Lorijn Van Rooijen a rédigé la thèse suivante :

Une approche combinatoire du problème de séparation pour les langages réguliers

par Lorijn Van Rooijen sous la direction de Marc Zeitoun - Bordeaux

Informatique

Soutenue le 04-12-2014

Thèse soutenue

Accéder en ligne