Le moteur de recherche
des thèses françaises
Alexandra Silva
IdRefMots 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
Automates de mots infinis
Logique
Logique linéaire
Mathématiques à rebours
Dialectica
Logique mathématique