Proving and Disproving Termination of Higher-Order Functions (2005)

by Jürgen Giesl , René Thiemann , Peter Schneider-Kamp
Venue:IN: PROC. 5TH FROCOS
Citations:41 - 18 self