Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

8 Results
authFullName_s : Philippe Le Chenadec
Image document

Analysis of Dehn algorithm by critical pairs

Philippe Le Chenadec
RR-0438, INRIA. 1985
Reports inria-00076118v1
Image document

The finite automaton of an elementary cyclic set

Philippe Le Chenadec
RR-0824, INRIA. 1988
Reports inria-00075727v1
Image document

Homotopic deductions in unification logic

Philippe Le Chenadec
[Research Report] RR-1384, INRIA. 1991
Reports inria-00075177v1
Image document

Normalization and linearity in unification logic

Philippe Le Chenadec
RR-0922, INRIA. 1988
Reports inria-00075633v1
Image document

On positive occur-checks in unification

Philippe Le Chenadec
RR-0792, INRIA. 1988
Reports inria-00075759v1
Image document

A completion of some coxeter groups

Philippe Le Chenadec
RR-0396, INRIA. 1985
Reports inria-00076160v1
Image document

A catalogue of complete group presentations

Philippe Le Chenadec
RR-0439, INRIA. 1985
Reports inria-00076117v1
Image document

On the logic of unification

Philippe Le Chenadec
RR-1008, INRIA. 1989
Reports inria-00075550v1