8485 articles  [version française]

inria-00075345, version 1

Average case analysis of unification algorithms

Luc Albert 1, Rafaël Casas, Francois Fages () 1, Paul Zimmermann 1

N° RR-1213 (1990)

Abstract: Résumé disponible dans les fichiers attachés

  • 1:  ALGO (INRIA Rocquencourt)
  • INRIA
  • Domain : Computer Science/Other
  • Internal note : RR-1213
 
  • inria-00075345, version 1
  • http://hal.inria.fr/inria-00075345
  • oai:hal.inria.fr:inria-00075345
  • From: Rapport De Recherche Inria <>
  • Submitted on: Wednesday, 24 May 2006 18:01:36
  • Updated on: Tuesday, 26 June 2007 09:17:41