The dependency pair framework: Combining techniques for automated termination proofs (2005)

Cached

Download Links

by Jürgen Giesl , René Thiemann , Peter Schneider-kamp
Venue:In Proc. LPAR ’04, LNAI 3452
Citations:55 - 23 self