scientific article; zbMATH DE number 176505

zbMATH Open0764.68056MaRDI QIDQ4035669FDOQ4035669

Authors: Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

• Average-case analysis of unification algorithms
• Fast algorithms for uniform semi-unification
• Average-case analysis of Robinson's unification algorithm with two different variables
• scientific article; zbMATH DE number 4060709
• An almost linear Robinson unification algorithm

zbMATH Keywords

generating functionsaverage case complexityunification algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Logic programming (68N17) Grammars and rewriting systems (68Q42)

Cited In (11)

• Unification: A case-study in data refinement
• Average-case analysis of unification algorithms
• Efficient tree pattern unification
• Title not available (Why is that?)
• Average-case analysis of Robinson's unification algorithm with two different variables
• An almost linear Robinson unification algorithm
• Faster linear unification algorithm
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Analytic analysis of algorithms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035669)