scientific article; zbMATH DE number 176505

MaRDI QIDQ4035669zbMATH OpenFDO

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

Publication date 18 May 1993

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)

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

Cited in

(11)

• An almost linear Robinson unification algorithm
• Unification: A case-study in data refinement
• scientific article; zbMATH DE number 4060709 (Why is no real title available?)
• Analytic analysis of algorithms
• Faster linear unification algorithm
• Average-case analysis of unification algorithms
• scientific article; zbMATH DE number 522867 (Why is no real title available?)
• Average-case analysis of Robinson's unification algorithm with two different variables
• Efficient tree pattern unification
• scientific article; zbMATH DE number 4060703 (Why is no real title available?)
• scientific article; zbMATH DE number 3995082 (Why is no real title available?)

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)