A mechanical proof of the termination of Takeuchi's function

• 20 November 1979
• journal article
• Published by Elsevier in Information Processing Letters
• Vol. 9  (4) , 176-181
• https://doi.org/10.1016/0020-0190(79)90063-2

Abstract

Keywords

• AUTOMATIC THEOREM-PROVING
• LEXICOGRAPHIC RELATION