The undecidability of the unification and matching problem for canonical theories

• 1 April 1987
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 24  (2) , 157-171
• https://doi.org/10.1007/bf00264362

Abstract

Keywords

• INFORMATION SYSTEM
• OPERATING SYSTEM
• DATA STRUCTURE
• COMMUNICATION NETWORK
• INFORMATION THEORY