Pages qui pointent vers « Informatique théorique »
Aller à la navigation
Aller à la recherche
Les pages ci-dessous contiennent un lien vers Informatique théorique :
Affichage de 50 éléments.
- Théorème des variétés d'Eilenberg (← liens)
- Théorème de Savitch (← liens)
- Demi-groupe bicyclique (← liens)
- Langage de Łukasiewicz (← liens)
- Théorème d'accélération linéaire (← liens)
- Théorème de Myhill-Nerode (← liens)
- PSPACE (← liens)
- Problème de correspondance de Post (← liens)
- Optimisation SDP (← liens)
- RP (complexité) (← liens)
- ZPP (complexité) (← liens)
- BPP (complexité) (← liens)
- Théorème d'Immerman-Szelepcsényi (← liens)
- P (complexité) (← liens)
- Complémentaire (complexité) (← liens)
- Co-NP (← liens)
- NL (complexité) (← liens)
- Théorème de Sipser-Gács-Lautemann (← liens)
- Exposant critique d'un mot (← liens)
- NP (complexité) (← liens)
- P/poly (← liens)
- Monade (théorie des catégories) (← liens)
- NC (complexité) (← liens)
- Distributeur (théorie des catégories) (← liens)
- Catégorie *-autonome (← liens)
- Circuit booléen (← liens)
- L (complexité) (← liens)
- Théorème PCP (← liens)
- IP (complexité) (← liens)
- Séparateur (théorie des graphes) (← liens)
- Sesquipuissance (← liens)
- Motif inévitable (← liens)
- Problème de couverture par ensembles (← liens)
- Largeur arborescente (← liens)
- Complexité descriptive (← liens)
- Complexité de la communication (← liens)
- Coupe minimum (← liens)
- Problème de l'isomorphisme de graphes (← liens)
- Complexité abélienne d'un mot (← liens)
- Lemme local de Lovász (← liens)
- CTL* (← liens)
- Forme normale de Greibach (← liens)
- Minimisation d'un automate fini déterministe (← liens)
- Construction par sous-ensembles (← liens)
- Construction de Glushkov (← liens)
- Dérivée de Brzozowski (← liens)
- Temps de calcul pseudo-polynomial (← liens)
- Lemme de Levi (← liens)
- Epsilon transition (← liens)
- Équation entre mots (← liens)