Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Paul Brunet

Mots clés

FR |

EN

Algèbre de relations

Algèbre de Kleene

Expressions régulières

Langages formels

Théorie des automates

Sémantique des programmes

Preuve assistée par ordinateur

Assistants de preuve

Langages de programmation -- Sémantique

Théorie des automates mathématiques