Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Vincent Penelle

Mots clés

FR |

EN

Ordre supérieur

Systèmes à compteurs

Langage de traces

Décidabilité (logique mathématique)

Arbres (théorie des graphes) -- Informatique

Langages formels

Suites récurrentes