Advances in Computing Science - ASIAN'99

Advances in Computing Science - ASIAN'99

4.11 - 1251 ratings - Source

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
ISBN-13:

Continue

You Must CONTINUE and create a free account to access unlimited downloads & streaming