Niveau: Supérieur, Master, Bac+4
Automates finis Automates de Buchi non ambigus Probleme de l'equivalence pour les automates non ambigus Nicolas Bousquet sous la tutelle de Wolfgang THOMAS et Christof LODING Ete 2009 Nicolas Bousquet, sous la tutelle de, Wolfgang THOMAS et Christof LODINGProbleme de l'equivalence pour les automates non ambigus
- automates de buchi
- containment problems
- automate fini
- christof lodingprobleme de l'equivalence pour les automates
- probleme de l'equivalence pour les automates
- finite tree