Patrick Dehornoy - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2016

Laver's results and low-dimensional topologyPatrick Dehornoy. AML, 55(1-2):49-83, 2016. [doi]

Quadratic normalization in monoidsPatrick Dehornoy, Yves Guiraud. ijac, 26(5):935-972, 2016. [doi]

2015

Garside and Quadratic Normalisation: A SurveyPatrick Dehornoy. dlt 2015: 14-45 [doi]

2014

Algorithms for Garside calculusPatrick Dehornoy, Volker Gebhardt. JSC, 63:68-116, 2014. [doi]

2011

The Subword Reversing MethodPatrick Dehornoy. ijac, 21(1-2):71-118, 2011. [doi]

2010

On the distance between the expressions of a permutationPatrick Dehornoy, Marc Autord. ejc, 31(7):1829-1846, 2010. [doi]

2008

Efficient solutions to the braid isotopy problemPatrick Dehornoy. DAM, 156(16):3091-3112, 2008. [doi]

Using groups for investigating rewrite systemsPatrick Dehornoy, Vincent van Oostrom. mscs, 18(6):1133-1167, 2008. [doi]

2007

Combinatorics of normal sequences of braidsPatrick Dehornoy. JCT, 114(3):389-409, 2007. [doi]

2006

On Word Reversing in Braid GroupsPatrick Dehornoy, Bert Wiest. ijac, 16(5):941-958, 2006. [doi]

Entity authentication schemes using braid word reductionHervé Sibert, Patrick Dehornoy, Marc Girault. DAM, 154(2):420-436, 2006. [doi]

2002

Entity Authentication Schemes Using Braid Word ReductionHervé Sibert, Patrick Dehornoy, Marc Girault. iacr, 2002:187, 2002. [doi]

2000

On completeness of word reversingPatrick Dehornoy. DM, 225(1-3):93-119, 2000. [doi]

Construction of Self-Distributive Operations and Charged BraidsPatrick Dehornoy. ijac, 10(1):173-190, 2000. [doi]

1998

Theorem Proving by Chain ResolutionPatrick Dehornoy, Abderrahim Marzouk. TCS, 206(1-2):163-180, 1998. [doi]

1996

Another use of set theoryPatrick Dehornoy. bsl, 2(4):379-391, 1996. [doi]

1994

A Normal Form for the Free Left Distributive LawPatrick Dehornoy. ijac, 4(4):499-528, 1994. [doi]

1992

A Criterion for Proving Noetherianity of a RelationPatrick Dehornoy. TCS, 93(2):321-325, 1992.

Probleme de mots dans les gerbes libresPatrick Dehornoy. TCS, 94(2):199-213, 1992.

1991

The Naming Problem for Left DistributivityPatrick Dehornoy. iwwert 1993: 57-78

1990

A coding of the countable linear orderingsPatrick Dehornoy. sLogica, 49(4):585-590, 1990. [doi]

1988

1-complete families of elementary sequencesPatrick Dehornoy. APAL, 38(3):257-287, 1988. [doi]

1986

Turing Complexity of the OrdinalsPatrick Dehornoy. ipl, 23(4):167-170, 1986.

1983

An Application of Ultrapowers to Changing CofinalityPatrick Dehornoy. JSYML, 48(2):225-235, 1983.

Sign in or sign up to see more results.

runs on WebDSL