Number of documents


Paul Zimmermann

Paul Zimmermann

"Rafaël Casas"   

Conference papers1 document

  • Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann. Average Case Analysis of Unification Algorithms. Proceedings of STACS'91 - 8th Annual Symposium on Theoretical Aspects of Computer Science, 1991, Hamburg, Germany. pp.196-213, ⟨10.1007/BFb0020799⟩. ⟨hal-00917726⟩

Reports1 document

  • Luc Albert, Rafaël Casas, Francois Fages, Paul Zimmermann. Average case analysis of unification algorithms. [Research Report] RR-1213, INRIA. 1990. ⟨inria-00075345⟩