Partial recursive functions in higher-order logic (2006)

by Alexander Krauss
Venue:Int. Joint Conference on Automated Reasoning (IJCAR 2006), LNCS