A practical unification algorithm

DOI10.1016/0020-0255(91)90009-JMaRDI QIDQ751312zbMATH OpenFDO

Authors Paul Walton jun. Purdom

Publication date 1991

Published in Information Sciences (Search for Journal in Brave)

zbMATH Keywords

unification algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic programming (68N17)

Recommendations

• A practically efficient and almost linear unification algorithm
• Combining unification algorithms
• scientific article; zbMATH DE number 4049130
• An efficient nominal unification algorithm
• An algorithm for distributive unification
• scientific article; zbMATH DE number 3999263
• Average-case analysis of unification algorithms
• scientific article; zbMATH DE number 4047179
• A decision algorithm for distributive unification
• An almost linear Robinson unification algorithm

Cites work

• scientific article; zbMATH DE number 3827203 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• About the Paterson-Wegman linear unification algorithm
• An Efficient Unification Algorithm
• Efficiency of a Good But Not Linear Set Union Algorithm
• Linear unification
• Literate Programming
• Worst-case Analysis of Set Union Algorithms

Cited in

(15)

• scientific article; zbMATH DE number 3957052 (Why is no real title available?)
• An almost linear Robinson unification algorithm
• About the Paterson-Wegman linear unification algorithm
• Unifying F-logic molecules: a rectification to the original unification algorithm
• scientific article; zbMATH DE number 4060709 (Why is no real title available?)
• A practically efficient and almost linear unification algorithm
• scientific article; zbMATH DE number 3870644 (Why is no real title available?)
• Faster linear unification algorithm
• Average-case analysis of unification algorithms
• scientific article; zbMATH DE number 3952479 (Why is no real title available?)
• An algorithm for the retrieval of unifiers from discrimination trees
• scientific article; zbMATH DE number 3896334 (Why is no real title available?)
• scientific article; zbMATH DE number 36613 (Why is no real title available?)
• Efficient general AGH-unification
• scientific article; zbMATH DE number 3995082 (Why is no real title available?)

This page was built for publication: A practical unification algorithm

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