Average-case analysis of unification algorithms

• Authors:

• Luc Albert;Rafael Casas;François Fages

• Affiliations:

• Institut National de Recherche en Informatique et Automatique, France;Univ. Polite`cnica de Catalunya, Barcelona, Spain;LIENS URA 1327 CNRS, Paris, France

• Venue:
• STACS '91 Selected papers of the 8th annual symposium on Theoretical aspects of computer science
• Year:
• 1993