Universite ́ de Caen • A survey of normal forms in monoids that are Garside and quadratic normalisation: a surve
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curr...
Abstract. Starting from the seminal example of the greedy normal norm in braid monoids, we analyze t...
• A survey of normal forms in monoids that are ◮ based on greedy algorithms (Garside normalisation),...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
AbstractWe describe new types of normal forms for braid monoids, Artin–Tits monoids, and, more gener...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Une tresse est une classe d'équivalence de mots de tresse. Diverses formes normales sur les tresses ...
16 pages, 1 article*Quadratic Forms in Singular Normal Variables* (Rodhe, C. A.; Urquhart, N. S.; Se...
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curr...
Abstract. Starting from the seminal example of the greedy normal norm in braid monoids, we analyze t...
• A survey of normal forms in monoids that are ◮ based on greedy algorithms (Garside normalisation),...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
International audienceIn the general context of presentations of monoids, we study normalisation pro...
AbstractWe describe new types of normal forms for braid monoids, Artin–Tits monoids, and, more gener...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Garside calculus is the common mechanism that underlies a certain type of normal form for the elemen...
Une tresse est une classe d'équivalence de mots de tresse. Diverses formes normales sur les tresses ...
16 pages, 1 article*Quadratic Forms in Singular Normal Variables* (Rodhe, C. A.; Urquhart, N. S.; Se...
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, fo...
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curr...