Pierre Castéran
IdRefMots clés
FR |
EN
Algorithmes
Assistants de preuves
Coq
Algorithmique distribuée
Calculs locaux
Logique mathématique
Distribution (informatique)
Assistants de preuve
Théorie des calculs locaux
Coq (logiciel)
Systèmes hyperboliques
Interface syntaxe-sémantique
Assistant de preuves Coq
Linguistique
Grammaire
Algorithme distribué
Assistant de preuve
Preuve formelle
Analyse
Algorithme probabiliste