Filter your results
- 8
- 8
- 8
- 7
- 1
- 8
- 8
- 8
- 8
- 8
- 8
- 1
- 8
- 8
- 1
- 1
- 3
- 3
|
|
sorted by
|
|
Analysis of Dehn algorithm by critical pairsRR-0438, INRIA. 1985
Reports
inria-00076118v1
|
||
|
The finite automaton of an elementary cyclic setRR-0824, INRIA. 1988
Reports
inria-00075727v1
|
||
|
Homotopic deductions in unification logic[Research Report] RR-1384, INRIA. 1991
Reports
inria-00075177v1
|
||
|
Normalization and linearity in unification logicRR-0922, INRIA. 1988
Reports
inria-00075633v1
|
||
|
On positive occur-checks in unificationRR-0792, INRIA. 1988
Reports
inria-00075759v1
|
||
|
A completion of some coxeter groupsRR-0396, INRIA. 1985
Reports
inria-00076160v1
|
||
|
A catalogue of complete group presentationsRR-0439, INRIA. 1985
Reports
inria-00076117v1
|
||
|
On the logic of unificationRR-1008, INRIA. 1989
Reports
inria-00075550v1
|