Le moteur de recherche
des thèses françaises
Celia Picard
IdRefMots clés
FR |
EN
Bigraphes
Théorie des graphes
Assistant de preuves
Assistants de preuve
Preuves formelles
Méthodes Formelles
Méthodes formelles (informatique)
Coinduction
Prouveur de théorèmes
Graphes
Listes
Mélange induction et coinduction
Induction (logique)
Interface graphique
Sémantique formelle
Vérification
Interfaces utilisateur (informatique)
Programmation réactive
Sémantique
Effets