|
Search the dblp DataBase
Philippe le Chenadec:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Philippe le Chenadec
A Survey of Symmetrized and Complete Group Presentations. [Citation Graph (0, 0)][DBLP] Term Rewriting, 1993, pp:135-153 [Conf]
- Philippe le Chenadec
Canonical Forms in Finitely Presented Algebras. [Citation Graph (0, 0)][DBLP] CADE, 1984, pp:142-165 [Conf]
- Philippe le Chenadec
A Completion of some Coxeter Groups. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:229-242 [Conf]
- Philippe le Chenadec
On Positive Occur-Checks in Unification. [Citation Graph (0, 0)][DBLP] MFCS, 1988, pp:433-444 [Conf]
- Philippe le Chenadec
A Catalogue of Complete Group Presentations. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1986, v:2, n:4, pp:363-381 [Journal]
- Philippe le Chenadec
On the Logic of Unification. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1989, v:8, n:1/2, pp:141-199 [Journal]
- Philippe le Chenadec
Analysis of Dehn's Algorithm by Critical Pairs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1987, v:51, n:, pp:27-52 [Journal]
Search in 0.001secs, Finished in 0.001secs
|