Computational Complexity Conference International Workshop on Descriptional Complexity of Formal Systems Low Complexity Subband Codec Nombre cyclomatique Manuel Lima Codec LC3 PP (complexité) ZPP (complexité) LOGCFL Dima Grigoriev Théorème de Sipser-Gács-Lautemann Alexandre Razborov Dominic Welsh Stephen Cook Complexité en états Constantínos Daskalákis Sharp-P Andrei A. Bulatov P/poly Xi Chen Liste de classes de complexité César Hidalgo NC (complexité) Russell Impagliazzo Co-NP BPP (complexité) LH (complexité) Indice de complexité Nelson Complexité descriptive Théorème d'Immerman-Szelepcsényi Thèse de Cobham RP (comple…

exité) Écosémiotique PPAD (complexité) NEXPTIME TFNP UP (complexité) E (complexité) Machine de Blum-Shub-Smale Paul Vitanyi Machine de Turing probabiliste Complexité générique des algorithmes PSPACE Michael Shub Jin-Yi Cai Problème non élémentaire NL (complexité) Sharp-P-complet Complexité implicite Allan Borodin Lenore Blum Christopher Langton Richard Stearns Arithmétique de Presburger Ci

rcuit booléen Conjecture de Berman-Hartmanis Humanity's Last Breath EXPTIME Pseudocorinna bilobata IP (complexité) Réduction en espace logarithmique Ronald de Wolf Scott Aaronson Complexité en moyenne des algorithmes NE (complexité) Sanjeev Arora P (complexité) Ran Raz Robert Delorme Théorème d'accélération linéaire Crinopseudoa bong Théorème de Savitch Juris Hartmanis Gaisi Takeuti Liste de publications importantes en informatique théorique Ultrafinitisme NP (complexité) Théorème de Fagin Vuca Hiérarchie booléenne 2-EXPTIME Mark Braverman (mathématicien) Grigory Yablonsky Rod Downey Théorie des systèmes dynami