Théorème de Savitch
| Qualité | Numéro | Titre |
|---|
Utilisateur : Meven
'
Références :
Introduction to the theory of computation
- Sipser
Langages formels, Calculabilité et Complexité - Carton