The Undecidability of the Semi-unification Problem

• 1 January 1993
• journal article
• Published by Elsevier in Information and Computation
• Vol. 102  (1) , 83-101
• https://doi.org/10.1006/inco.1993.1003

Abstract

Keywords

• UNDECIDABLE
• SUP
• SEMI UNIFICATION
• UNIFICATION PROBLEM
• BOUNDEDNESS
• BRANCHES
• 1960S
• LOGIC