Proving termination of normalization functions for conditional expressions

• 1 January 1986
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 2  (1) , 63-74
• https://doi.org/10.1007/bf00246023

Abstract

Keywords

• 68B10
• BOYER-MOORE THEOREM PROVER
• LCF
• TOTAL CORRECTNESS

All Related Versions

• Version 1, 2000-10-02, ArXiv (Unconfirmed version)