A practical unification algorithm

DOI10.1016/0020-0255(91)90009-JzbMath0714.68093MaRDI QIDQ751312

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)

Cites Work

• Unnamed Item
• About the Paterson-Wegman linear unification algorithm
• Linear unification
• Literate Programming
• Worst-case Analysis of Set Union Algorithms
• An Efficient Unification Algorithm
• Efficiency of a Good But Not Linear Set Union Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: A practical unification algorithm