Termination of Isabelle functions via termination of rewriting (2011)

by Alexander 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