Accéder directement au contenu
PZ

Paul Zimmermann

2
Documents
Identifiants chercheurs

Présentation

Paul Zimmermann
Paul Zimmermann

Publications

francois-fages

Average Case Analysis of Unification Algorithms

Luc Albert , Rafael Casas , François Fages , A. Torrecillas , Paul Zimmermann
Proceedings 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