Liste des plans proposés
- Plan de Florent Krasnopol (#16_0000)
-
Développements
-
Calcul des attracteurs par Florent Krasnopol (#00019)
Utilisable dans les leçons : 16
Références :
-
Calcul des attracteurs par Florent Krasnopol (#00019)
-
Remarques
-
Références
-
Développements
Liste de tous les développements proposés
Note : certains développements peuvent être proposés sans faire directement référence à un plan.
-
Calcul d'attracteurs dans un jeu d'accessibilité en temps linéaire par Thibaut Antoine (#00036)
Utilisable dans les leçons : 16
Références :- Finite Model Theory and Its Applications de Erich Grädel & Phokion G. Kolaitis & Leonid Libkin & Maarten Marx & Joel Spencer & Moshe Y. Vardi & Yde Venema & Scott Weinstein
-
Calcul des attracteurs par Florent Krasnopol (#00019)
Utilisable dans les leçons : 16
Références :