Termination of Isabelle functions via termination of rewriting (2011)

by Er Krauss , Christian Sternagel , René Thiemann , Carsten Fuhs , Jürgen Giesl
Venue:In Proceeding of the second international conference on Interactive Theorem Proving (ITP
Citations:2 - 1 self