Théorème de Rice
Propositions de mises en forme
Développement de Balthazar Patiachvili
- Auteur : Balthazar Patiachvili
- Date de publication : 22 avril 2026
-
Références bibliographiques :
- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre