- 1
- 1
PZ
Paul Zimmermann
2
Documents
Identifiants chercheurs
- paul-zimmermann
- 0000-0003-0718-4458
- IdRef : 034200282
Présentation
Paul Zimmermann
Paul Zimmermann
Publications
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Average Case Analysis of Unification AlgorithmsProceedings of STACS'91 - 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany. pp.196-213, ⟨10.1007/BFb0020799⟩
Communication dans un congrès
hal-00917726v1
|
|
Average case analysis of unification algorithms[Research Report] RR-1213, INRIA. 1990
Rapport
inria-00075345v1
|