| |
| 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 | |