Partial recursive functions in higher-order logic (2006)

Cached

Download Links

by Alexander Krauss
Venue:Int. Joint Conference on Automated Reasoning (IJCAR 2006), LNCS
Citations:12 - 2 self