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="le Chenadec, Philippe"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the logic of unification
Philippe le Chenadec
Journal Symbolic Computation
8
(1-2), 1989, pp. 141-199
A catalogue of complete group presentations
Philippe le Chenadec
Journal Symbolic Computation
2
(4), 1986, pp. 363-381
Canonical Forms in Finitely Presented Algebras
Philippe Le Chenadec
Research Notes in Theoretical Computer Science