Le moteur de recherche
des thèses françaises
Daniela Petrisan
IdRefMots clés
FR |
EN
Langages de programmation -- Sémantique
Logique informatique
Lambda-calcul
Langages de programmation
Logique mathématique
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
Théorie des automates mathématiques
Dualité de Stone
Théorie des langages
Algèbre profinie
Monade de codensité
Interpolation uniforme
Théorème de l’application ouverte