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
[2]
Hilfe
Suche: Author="Le Chenadec, P."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On positive occur-checks in unification
P. Le Chenadec
Lecture Notes in Computer Science
324
, 1988, pp. 433-444
Analysis of Dehn's algorithm by critical pairs
P. Le Chenadec
Theoretical Computer Science
51
(1-2), 1987, pp. 27-52
A completion of some Coxeter groups
P. Le Chenadec
Lecture Notes in Computer Science
204
, 1985, pp. 229-242