J'ai un problème d'analyse de programmes qu'il serait trop fastidieux d'expliciter ici ; il s'agit d'une généralisation du problème traité dans mon récent article avec Thomas Gawlitza. Sauf erreur (je n'ai pas mis la preuve au propre) ce problème est dans NEXPTIME. Je soupçonne qu'hélas ce problème est NEXPTIME-complet. Je m'y connais fort peu en NEXPTIME (d'habitude, je ne regarde que des problèmes dans les premiers degrés de la hiérarchie polynomiale, ou PSPACE-complets) ; connaîtriez-vous des lectures à me conseiller ?