Volker Diekert
IdRefMots clés
FR |
EN
Automates
Complexité algorithmique
Minorants
Nečiporuk
Programmes sur monoïdes
Da
J
Complexité de calcul (informatique)
Monoïdes
Logique du premier ordre
Logique avec k variables
Logique dynamique propositionnelle
Logiques temporelles
Automates communicants
Logique temporelle
Automates infinis
Traces de Mazurkiewicz
Algèbres de Boole
Réseaux de Petri
Arbre de graphe