Wim Martens
Mots clés
FR |
EN
Délai constant
Nulle-part dense
Théorie des graphes
Bases de données -- Interrogation
Analyse des données
Langages réguliers
Séparation
Logiques
Automates
Monoïdes
Langages testables par morceaux
Langages non-ambigus
Langages localement testables
Langages localement testables à seuil
Langages algébriques
Langages rationnels
Séparation (informatique)
Décidabilité (logique mathématique)