Partial recursive functions in higher-order logic (2006)

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

Document Versions

Partial recursive functions in higher-order logic –Alexander Krauss — 2006 — Int. Joint Conference on Automated Reasoning (IJCAR 2006), LNCS