A more expressive formulation of many sorted logic

• 1 June 1987
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 3  (2)
• https://doi.org/10.1007/bf00243207

Abstract

Keywords

• SORTS
• POLYMORPHISM
• CONTROL
• SEARCH SPACE
• LOGIC
• KNOWLEDGE REPRESENTATION