Dehornoy, Patrick
Dehornoy, Patrick, 1952-2019
Dehornoy, Patrick, 1952-
Patrick Dehornoy
VIAF ID: 14853411 ( Personal )
Permalink: http://viaf.org/viaf/14853411
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Dehornoy, Patrick
-
- 100 1 _ ‡a Dehornoy, Patrick
-
-
-
- 100 1 _ ‡a Dehornoy, Patrick ‡d 1952-
- 100 1 _ ‡a Dehornoy, Patrick ‡d 1952-2019
- 100 1 _ ‡a Dehornoy, Patrick, ‡d 1952-
- 100 1 _ ‡a Dehornoy, Patrick, ‡d 1952-2019
- 100 0 _ ‡a Patrick Dehornoy
4xx's: Alternate Name Forms (20)
5xx's: Related Names (4)
Works
Title | Sources |
---|---|
ALGEBRES DISTRIBUTIVES FINIES MONOGENES | |
Algorithmics of word reversing. | |
Algorithmique des tresses et de l’autodistributivité | |
Aspects algorithmiques du retournement de mot | |
LE BON ORDRE DES TRESSES POSITIVES | |
Braids and self-distributivity | |
Calcul des tresses. | |
The calculus of braids : an introduction, and beyond | |
Complexité et décidabilité | |
COMPLEXITY OF ORDINAL ADDITION. | |
ESPACES DENOMBRABLEMENT METACOMPACTS | |
Un Exemple d'élimination de l'axiome du choix. | |
Extensions des groupes de tresses | |
Forme normale tournante des tresses | |
Foundations of Garside theory | |
Georg Cantor et les infinis conférence du mercredi 18 mars 2009 | |
A hybrid of Thompson’s group F and the braid group B∞. | |
Un hybride du groupe de Thompson F et du groupe de tresses B°° | |
Mathématiques de l'informatique : cours et exercices corrigés | |
Modèles associes aux ultrapuissances itérées : solution d'une conjecture de Bukovsky | |
Non absoluteness of the elementary embedding associated to a complete ultrafilter. | |
Ordering braids | |
Petits groupes gaussiens | |
Pourquoi les tresses sont-elles ordonnables ?. | |
Propriétés de treillis pour les groupes de Coxeter et les systèmes LDI | |
Representation of Monoids and Lattice Structures in the Combinatorics of Weyl Groups | |
The rotating normal form of braids. | |
Séminaire logique & algorithmique (1987-88) | |
STRATEGIES DE RESOLUTION FONDEES SUR UN ORDRE POUR LES CHAINES DE CLAUSES | |
La théorie des ensembles : axiomatisation et représentation par des ensembles : ordinaux et cardinaux : logique du premier ordre et théorèmes d'incomplétude : modèles de ZF et méthode du forcing : grands cardinaux, détermination, nouveau système de base | |
théorie des ensembles introduction à une théorie de l'infini et des grands cardinaux | |
Ultrapuissances itérées et changement de cofinalité |