French PSPACE Cited by user Fschwarzentruber on 10 Jul 2019 En informatique théorique, plus précisément en théorie de la complexité, PSPACE est la classe de complexité des problèmes de décision décidés par une machine de Turing dét…
French 2-EXPTIME Cited by user Fschwarzentruber on 08 Feb 2018 En informatique théorique, plus précisément en théorie de la complexité, la classe 2-EXPTIME est la classe des problèmes de décision décidés par une machine de Turing déte…
French Synthèse de programmes Cited by user Fschwarzentruber on 07 Feb 2018 En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification.