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.
- Machine de Krivine (← liens)
- Mesure de similarité (← liens)
- Formule booléenne quantifiée (← liens)
- Théorème de périodicité de Fine et Wilf (← liens)
- Suite de de Bruijn (← liens)
- Algorithme de Thompson (← liens)
- Complexité de Rademacher (← liens)
- Algorithme de McNaughton et Yamada (← liens)
- Algorithme de Conway (← liens)
- Michael Saks (← liens)
- Principe de Yao (← liens)
- Automate quantique (← liens)
- Automate pondéré (← liens)
- Automate à jetons (← liens)
- Domaine booléen (← liens)
- Automate fini déterministe bidirectionnel (← liens)
- Seymour Ginsburg (← liens)
- Interprétation (logique) (← liens)
- Structure automatique (← liens)
- Méthode de Brzozowski et McCluskey (← liens)
- Lemme de Johnson-Lindenstrauss (← liens)
- Automate fini alternant (← liens)
- Machine de Turing alternante (← liens)
- Problème de partition (← liens)
- Mark Braverman (mathématicien) (← liens)
- Hiérarchie booléenne (← liens)
- Logique monadique du second ordre (← liens)
- Mu-calcul (← liens)
- Problème de l'isomorphisme de sous-graphes (← liens)
- Langage algébrique déterministe (← liens)
- Grammaire ambigüe (← liens)
- Kernelisation (← liens)
- Ensemble intersectant (← liens)
- Séquençage de tâches (← liens)
- Problème de la plus longue chaîne (← liens)
- Langage indexé (← liens)
- Théorème de Parikh (← liens)
- Langage local (← liens)
- Automate à pile visible (← liens)
- Suite régulière (← liens)
- Lemme d'itération de Bader et Moura (← liens)
- Lemme d'échange (← liens)
- Mot primitif (← liens)
- Problème 2-SAT (← liens)
- Complexité en états (← liens)
- E (complexité) (← liens)
- NE (complexité) (← liens)
- Automate à file (← liens)
- Assaf Naor (← liens)
- Système de Post (← liens)