Peter Habermehl
IdRefMots clés
FR |
EN
Logique
Vérification
Logiciels -- Vérification
Wqo
Bqo
Résolution de contraintes
Ordre sous-Mot
Vérification de modèles (informatique)
Logique informatique
Complexité
Logique mathématique
Méthodes formelles (informatique)
Automate
Langages reguliers
Apprentissage automatique
Alphabets de grandes tailles
Alphabets infinis
Langages rationnels
Automates sur les mots infinis