5 Conclusion In this paper we have proposed a method that extends the automation of the proofs of termination of recursive functions used in ProPre and ... The Coq proof assistant reference manual version 5.10. ... N. Dershowitz and C . Hoot.
|Title||:||Advances in Computing Science - ASIAN'99|
|Author||:||P.S. Thiagarajan, Roland Yap|
|Publisher||:||Springer - 2003-07-31|