Développement : Théorème de Savitch

Détails/Enoncé :

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Références utilisées dans les versions de ce développement :

Introduction to the theory of computation , Sipser (utilisée dans 12 versions au total)
Langages formels, Calculabilité et Complexité, Carton (utilisée dans 19 versions au total)