 | 1993 |
|---|
| 7 |       | Philippe le Chenadec:
A Survey of Symmetrized and Complete Group Presentations.
Term Rewriting 1993: 135-153 |
| 1989 |
|---|
| 6 | | Philippe le Chenadec:
On the Logic of Unification.
J. Symb. Comput. 8(1/2): 141-199 (1989) |
| 1988 |
|---|
| 5 |  | Philippe le Chenadec:
On Positive Occur-Checks in Unification.
MFCS 1988: 433-444 |
| 1987 |
|---|
| 4 | | Philippe le Chenadec:
Analysis of Dehn's Algorithm by Critical Pairs.
Theor. Comput. Sci. 51: 27-52 (1987) |
| 1986 |
|---|
| 3 | | Philippe le Chenadec:
A Catalogue of Complete Group Presentations.
J. Symb. Comput. 2(4): 363-381 (1986) |
| 1985 |
|---|
| 2 | | Philippe le Chenadec:
A Completion of some Coxeter Groups.
European Conference on Computer Algebra (2) 1985: 229-242 |
| 1984 |
|---|
| 1 | | Philippe le Chenadec:
Canonical Forms in Finitely Presented Algebras.
CADE 1984: 142-165 |
