Développement : Indécibilité de l'universalité d'un automate à pile

Détails/Enoncé :

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.

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