On Formalised Proofs of Termination of Recursive Functions (1999)

Cached

Download Links

by Fairouz Kamareddine , Francois Monin
Venue:In Proceedings of the Int. Conf. on Principles and Practice of Declarative Programming, volume 1702 of LNCS
Citations:8 - 3 self