Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Dehornoy, Patrick"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Algorithms for Garside calculus
Patrick Dehornoy
,
Volker Gebhardt
Journal Symbolic Computation
63
, 2014, pp. 68-116
Combinatorics of normal sequences of braids
Patrick Dehornoy
Journal of Combinatorial Theory Series A
114
(3), 2007, pp. 389-409
Theorem proving by chain resolution
Patrick Dehornoy
,
Abderrahim Marzouk
Theoretical Computer Science
206
(1-2), 1998, pp. 163-180
A normal form for the free left distributive law
Patrick Dehornoy
International Journal of Algebra and Computation
4
(4), 1994, pp. 499-528
A criterion for proving noetherianity of a relation
Patrick Dehornoy
Theoretical Computer Science
93
, 1992, pp. 321-325
Problème de mots dans les gerbes libres
Patrick Dehornoy
Theoretical Computer Science
94
, 1992, pp. 199-213