Partial Functions in a Total Setting

• 1 January 1997
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 18  (1) , 85-104
• https://doi.org/10.1023/a:1005702928286

Abstract

Keywords

• PARTIAL RECURSIVE FUNCTIONS
• MECHANICAL THEOREM PROVING