DMCA

Automated Termination Proofs with Measure Functions (1995)

Cached

Download Links

by Jürgen Giesl
Venue:In Proc. 19th Annual German Conf. on AI, LNAI 981
Citations:11 - 6 self