En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Dehornoy, Patrick 9 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- ix; 323 p.
Cote : 00035316
auto-distributivité # groupe de tresses # ordre # plan hyperbolique # espace de configuration # problème de mots # automate # algorithme

20F36 ; 06F05 ; 06F15 ; 20B30 ; 20F34 ; 20F38 ; 57M25 ; 57M50 ; 68Q25 ; 68Q70 ; 55-02

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 190 p.
Cote : 00025508
groupe de tresses # groupe ordonné # groupe de difféomorphisme # système autodistributif # arbre fini # bon ordre # automorphisme de groupe libre # groupe automatique # lamination # géométrie hyperbolique

20F36 ; 06F15 ; 20C40 ; 20N02 ; 57M60 ; 57M07

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xviii; 691 p.
Cote : 00039386
groupe fini # groupe infini # analyse combinatoire énumérative # semigroupe # groupoïde # algèbre homologique # groupe de permutation # groupe de réflexion # groupe de Coxeter # monoïde # catégorie # décomposition # groupe de Garside # conjugaison # groupe de tresses # groupe de Artin-Tits # variété de Deligne-Luzstig # groupe ordonné # équation de Yang-Baxter

20Fxx ; 20F05 ; 20F10 ; 20F36 ; 20F60 ; 20F65 ; 20M05 ; 20M10 ; 05A05 ; 18B40 ; 18G35 ; 20B30 ; 20F55 ; 20L05 ; 20M50 ; 20N02 ; 68Q17

Localisation : Ouvrage RdC (FOUN)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 200 p.
Cote : 00039835
décidabilité # fonction récursive # algorithme # théorie de la complexité # logique de premier ordre # calcul booléen # arithmétique # machine de Turing

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35 ; 68Q05 ; 68Q10 ; 68Q15

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xii; 245 p.
Cote : 00041071
théorie des tresses # calcul des tresses # problème de l'isotopie # monoïde

57-01 ; 57KXX ; 20-01 ; 20F36

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 623 p.
Cote : 00023161
LD-système # algèbre libre # groupe de tresse # groupe de tresse de Artin # groupe ordonné # groupoïde # logique # méthode algébrique # noeud et corde en S3 # opération binaire # problème de mot # propriété géométrique # semi-groupe libre # système auto-distributig # théorie des ensembles # théorie des groupes

06F15 ; 08A50 ; 20F36 ; 20M05 ; 20N02 ; 57M25

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 303 p.
Cote : 00024361
mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique

68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55

Localisation : Enseignement RdC (DEHO)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 222 p.
Cote : 00037162

11Yxx ; 68Qxx

Localisation : Colloque 1er étage (CAEN)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xx; 649 p.
Cote : 00040153
théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

Localisation : Ouvrage RdC (DEHO)

Sélection Signaler une erreur

Filtrer

Type
Auteurs
Langue